Skip to content

Commit

Permalink
update tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@dwightguth
dwightguth committed Sep 11, 2024
1 parent 6f8a06a commit 76bbb9d
Show file tree
Hide file tree
Showing 2 changed files with 194 additions and 198 deletions.
196 changes: 97 additions & 99 deletions test/transactions/swaps/UniswapV2Swap/UniswapTest.ref
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,100 @@
Transfer(0, 2, 2000000000000000000)
Approval(2, 6, 2000000000000000000)
Transfer(0, 2, 1000000000000000000)
Approval(2, 6, 1000000000000000000)
Transfer(2, 8, 1000000000000000000)
Transfer(2, 8, 1000000000000000000)
Sync(1000000000000000000, 1000000000000000000)
Approval(2, 6, 1000000000000000000)
Transfer(2, 6, 1000000000000000000)
Approval(6, 7, 1000000000000000000)
Approval(6, 7, 0)
Transfer(6, 8, 1000000000000000000)
Transfer(8, 2, 499248873309964947)
Sync(2000000000000000000, 500751126690035053)
Swap(7, 1000000000000000000, 0, 0, 499248873309964947, 2)
Transfer(0, 2, 4000000000000000000)
Approval(2, 6, 8000000000000000000)
Transfer(0, 2, 3000000000000000000)
Approval(2, 6, 3000000000000000000)
Transfer(0, 2, 2000000000000000000)
Approval(2, 6, 2000000000000000000)
Transfer(2, 8, 1000000000000000000)
Transfer(2, 8, 1000000000000000000)
Sync(3000000000000000000, 1500751126690035053)
Approval(2, 6, 7000000000000000000)
Transfer(2, 6, 1000000000000000000)
Approval(6, 7, 1000000000000000000)
Approval(6, 7, 0)
Transfer(6, 8, 1000000000000000000)
Transfer(8, 2, 374342975559160607)
Sync(4000000000000000000, 1126408151130874446)
Swap(7, 1000000000000000000, 0, 0, 374342975559160607, 2)
Transfer(2, 8, 1000000000000000000)
Transfer(2, 8, 1000000000000000000)
Transfer(2, 9, 1000000000000000000)
Transfer(2, 9, 1000000000000000000)
Sync(5000000000000000000, 2126408151130874446)
Sync(1000000000000000000, 1000000000000000000)
Transfer(2, 6, 1000000000000000000)
Approval(6, 7, 1000000000000000000)
Transfer(6, 8, 1000000000000000000)
Transfer(8, 9, 1596012995674327637)
Sync(3403987004325672363, 3126408151130874446)
Swap(7, 0, 1000000000000000000, 1596012995674327637, 0, 9)
Transfer(9, 2, 614082136165272076)
Sync(2596012995674327637, 385917863834727924)
Swap(7, 1596012995674327637, 0, 0, 614082136165272076, 2)
Transfer(0, 2, 10000000000000000000)
Approval(2, 6, 6000000000000000000)
Transfer(0, 2, 10000000000000000000)
Approval(2, 6, 4000000000000000000)
Transfer(2, 8, 4000000000000000000)
Transfer(2, 8, 4000000000000000000)
Sync(7403987004325672363, 7126408151130874446)
Approval(2, 6, 4000000000000000000)
Transfer(2, 6, 2000000000000000000)
Approval(6, 7, 2000000000000000000)
Approval(6, 7, 787827121776068800)
Transfer(6, 8, 1212172878223931200)
Transfer(8, 2, 1000000000000000000)
Sync(8616159882549603563, 6126408151130874446)
Swap(7, 1212172878223931200, 0, 0, 1000000000000000000, 2)
Transfer(6, 2, 787827121776068800)
Transfer(0, 2, 20000000000000000000)
Approval(2, 6, 20000000000000000000)
Transfer(0, 2, 20000000000000000000)
Approval(2, 6, 20000000000000000000)
Transfer(0, 2, 10000000000000000000)
Approval(2, 6, 10000000000000000000)
Transfer(2, 8, 8000000000000000000)
Transfer(2, 8, 8000000000000000000)
Sync(16616159882549603563, 14126408151130874446)
Approval(2, 6, 16000000000000000000)
Transfer(2, 6, 4000000000000000000)
Approval(6, 7, 4000000000000000000)
Approval(6, 7, 1251262179218628346)
Transfer(6, 8, 2748737820781371654)
Transfer(8, 2, 2000000000000000000)
Sync(19364897703330975217, 12126408151130874446)
Swap(7, 2748737820781371654, 0, 0, 2000000000000000000, 2)
Transfer(6, 2, 1251262179218628346)
Transfer(2, 8, 4000000000000000000)
Transfer(2, 8, 4000000000000000000)
Transfer(2, 9, 4000000000000000000)
Transfer(2, 9, 4000000000000000000)
Sync(23364897703330975217, 16126408151130874446)
Sync(6596012995674327637, 4385917863834727924)
Transfer(2, 6, 2000000000000000000)
Approval(6, 7, 2000000000000000000)
Transfer(6, 8, 1044251)
Transfer(8, 9, 1508433)
Sync(23364897703329466784, 16126408151131918697)
Swap(7, 0, 1044251, 1508433, 0, 9)
Transfer(9, 2, 1000000)
Sync(6596012995675836070, 4385917863833727924)
Swap(7, 1508433, 0, 0, 1000000, 2)
Transfer(6, 2, 1999999999998955749)
<solidity>
<k>
.K
Expand Down Expand Up @@ -2391,105 +2488,6 @@
</contract-storage>
</live-contract>
</live-contracts>
<events>
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 1000000000000000000p112 , uint112 ) , v ( 1000000000000000000p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 0p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 2p160 , address ) , v ( 499248873309964947p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 2000000000000000000p112 , uint112 ) , v ( 500751126690035053p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 499248873309964947p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 8000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 3000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 3000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 3000000000000000000p112 , uint112 ) , v ( 1500751126690035053p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 7000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 0p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 2p160 , address ) , v ( 374342975559160607p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 4000000000000000000p112 , uint112 ) , v ( 1126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 374342975559160607p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 9p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 9p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 5000000000000000000p112 , uint112 ) , v ( 2126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 1000000000000000000p112 , uint112 ) , v ( 1000000000000000000p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 9p160 , address ) , v ( 1596012995674327637p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 3403987004325672363p112 , uint112 ) , v ( 3126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 0p256 , uint256 ) , v ( 1000000000000000000p256 , uint256 ) , v ( 1596012995674327637p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 9p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 9p160 , address ) , v ( 2p160 , address ) , v ( 614082136165272076p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 2596012995674327637p112 , uint112 ) , v ( 385917863834727924p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 1596012995674327637p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 614082136165272076p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 10000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 6000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 10000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 7403987004325672363p112 , uint112 ) , v ( 7126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 787827121776068800p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 1212172878223931200p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 2p160 , address ) , v ( 1000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 8616159882549603563p112 , uint112 ) , v ( 6126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 1212172878223931200p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 1000000000000000000p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 2p160 , address ) , v ( 787827121776068800p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 20000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 20000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 20000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 20000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 0p160 , address ) , v ( 2p160 , address ) , v ( 10000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 10000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 8000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 8000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 16616159882549603563p112 , uint112 ) , v ( 14126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 16000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 1251262179218628346p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 2748737820781371654p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 2p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 19364897703330975217p112 , uint112 ) , v ( 12126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 2748737820781371654p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 2000000000000000000p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 2p160 , address ) , v ( 1251262179218628346p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 8p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 9p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 9p160 , address ) , v ( 4000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 23364897703330975217p112 , uint112 ) , v ( 16126408151130874446p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 6596012995674327637p112 , uint112 ) , v ( 4385917863834727924p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 2p160 , address ) , v ( 6p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Approval , args: v ( 6p160 , address ) , v ( 7p160 , address ) , v ( 2000000000000000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 8p160 , address ) , v ( 1044251p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 8p160 , address ) , v ( 9p160 , address ) , v ( 1508433p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 23364897703329466784p112 , uint112 ) , v ( 16126408151131918697p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 0p256 , uint256 ) , v ( 1044251p256 , uint256 ) , v ( 1508433p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 9p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 9p160 , address ) , v ( 2p160 , address ) , v ( 1000000p256 , uint256 ) , .TypedVals ) )
ListItem ( event (... name: Sync , args: v ( 6596012995675836070p112 , uint112 ) , v ( 4385917863833727924p112 , uint112 ) , .TypedVals ) )
ListItem ( event (... name: Swap , args: v ( 7p160 , address ) , v ( 1508433p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 0p256 , uint256 ) , v ( 1000000p256 , uint256 ) , v ( 2p160 , address ) , .TypedVals ) )
ListItem ( event (... name: Transfer , args: v ( 6p160 , address ) , v ( 2p160 , address ) , v ( 1999999999998955749p256 , uint256 ) , .TypedVals ) )
</events>
<next-address>
11p160
</next-address>
Expand Down
Loading

0 comments on commit 76bbb9d

Please sign in to comment.