Skip to content

Commit

Permalink
update test outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
@dwightguth
dwightguth committed Sep 3, 2024
1 parent 230cc0b commit 4db147d
Show file tree
Hide file tree
Showing 13 changed files with 31 additions and 10 deletions.
6 changes: 6 additions & 0 deletions test/regression/arithmetic.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,9 @@
<contract-fn-return-names>
.List
</contract-fn-return-names>
<contract-fn-payable>
false
</contract-fn-payable>
<contract-fn-body>
uint8 i8_1 = 2 ; uint8 i8_2 = 2 ; uint8 i32_1 = 2 ; uint8 i32_2 = 2 ; uint8 i112_1 = 2 ; uint8 i112_2 = 2 ; uint8 i256_1 = 2 ; uint8 i256_2 = 2 ; require ( i8_1 + i8_2 == 4 , "" , .TypedVals ) ; require ( i32_1 + i32_2 == 4 , "" , .TypedVals ) ; require ( i112_1 + i112_2 == 4 , "" , .TypedVals ) ; require ( i256_1 + i256_2 == 4 , "" , .TypedVals ) ; require ( i8_1 + 2 == 4 , "" , .TypedVals ) ; require ( 2 + i8_2 == 4 , "" , .TypedVals ) ; require ( 2 + 2 == 4 , "" , .TypedVals ) ; require ( i8_1 - i8_2 == 0 , "" , .TypedVals ) ; require ( i32_1 - i32_2 == 0 , "" , .TypedVals ) ; require ( i112_1 - i112_2 == 0 , "" , .TypedVals ) ; require ( i256_1 - i256_2 == 0 , "" , .TypedVals ) ; require ( i8_1 - 2 == 0 , "" , .TypedVals ) ; require ( 2 - i8_2 == 0 , "" , .TypedVals ) ; require ( 2 - 2 == 0 , "" , .TypedVals ) ; require ( i8_1 * i8_2 == 4 , "" , .TypedVals ) ; require ( i32_1 * i32_2 == 4 , "" , .TypedVals ) ; require ( i112_1 * i112_2 == 4 , "" , .TypedVals ) ; require ( i256_1 * i256_2 == 4 , "" , .TypedVals ) ; require ( i8_1 * 2 == 4 , "" , .TypedVals ) ; require ( 2 * i8_2 == 4 , "" , .TypedVals ) ; require ( 2 * 2 == 4 , "" , .TypedVals ) ; require ( i8_1 / i8_2 == 1 , "" , .TypedVals ) ; require ( i32_1 / i32_2 == 1 , "" , .TypedVals ) ; require ( i112_1 / i112_2 == 1 , "" , .TypedVals ) ; require ( i256_1 / i256_2 == 1 , "" , .TypedVals ) ; require ( i8_1 / 2 == 1 , "" , .TypedVals ) ; require ( 2 / i8_2 == 1 , "" , .TypedVals ) ; require ( 2 / 2 == 1 , "" , .TypedVals ) ; require ( i8_1 == i8_2 , "" , .TypedVals ) ; require ( i32_1 == i32_2 , "" , .TypedVals ) ; require ( i112_1 == i112_2 , "" , .TypedVals ) ; require ( i256_1 == i256_2 , "" , .TypedVals ) ; require ( 2 == i8_2 , "" , .TypedVals ) ; require ( 2 == 2 , "" , .TypedVals ) ; require ( i8_1 <= i8_2 , "" , .TypedVals ) ; require ( i32_1 <= i32_2 , "" , .TypedVals ) ; require ( i112_1 <= i112_2 , "" , .TypedVals ) ; require ( i256_1 <= i256_2 , "" , .TypedVals ) ; require ( i8_1 <= 2 , "" , .TypedVals ) ; require ( 2 <= i8_2 , "" , .TypedVals ) ; require ( 2 <= 2 , "" , .TypedVals ) ; require ( i8_1 >= i8_2 , "" , .TypedVals ) ; require ( i32_1 >= i32_2 , "" , .TypedVals ) ; require ( i112_1 >= i112_2 , "" , .TypedVals ) ; require ( i256_1 >= i256_2 , "" , .TypedVals ) ; require ( i8_1 >= 2 , "" , .TypedVals ) ; require ( 2 >= i8_2 , "" , .TypedVals ) ; require ( 2 >= 2 , "" , .TypedVals ) ; i8_2 = 4 ; i32_2 = 4 ; i112_2 = 4 ; i256_2 = 4 ; require ( i8_1 ** i8_2 == 16 , "" , .TypedVals ) ; require ( i32_1 ** i32_2 == 16 , "" , .TypedVals ) ; require ( i112_1 ** i112_2 == 16 , "" , .TypedVals ) ; require ( i256_1 ** i256_2 == 16 , "" , .TypedVals ) ; require ( i8_1 ** 4 == 16 , "" , .TypedVals ) ; require ( 2 ** i8_2 == 16 , "" , .TypedVals ) ; require ( 2 ** 4 == 16 , "" , .TypedVals ) ; require ( i8_1 < i8_2 , "" , .TypedVals ) ; require ( i32_1 < i32_2 , "" , .TypedVals ) ; require ( i112_1 < i112_2 , "" , .TypedVals ) ; require ( i256_1 < i256_2 , "" , .TypedVals ) ; require ( i8_1 < 4 , "" , .TypedVals ) ; require ( 2 < i8_2 , "" , .TypedVals ) ; require ( 2 < 4 , "" , .TypedVals ) ; require ( i8_1 != i8_2 , "" , .TypedVals ) ; require ( i32_1 != i32_2 , "" , .TypedVals ) ; require ( i112_1 != i112_2 , "" , .TypedVals ) ; require ( i256_1 != i256_2 , "" , .TypedVals ) ; require ( i8_1 != 4 , "" , .TypedVals ) ; require ( 2 != i8_2 , "" , .TypedVals ) ; require ( 2 != 4 , "" , .TypedVals ) ; require ( i8_2 > i8_1 , "" , .TypedVals ) ; require ( i32_2 > i32_1 , "" , .TypedVals ) ; require ( i112_2 > i112_1 , "" , .TypedVals ) ; require ( i256_2 > i256_1 , "" , .TypedVals ) ; require ( i8_2 > 2 , "" , .TypedVals ) ; require ( 4 > i8_1 , "" , .TypedVals ) ; require ( 4 > 2 , "" , .TypedVals ) ; .Statements
</contract-fn-body>
Expand All @@ -59,6 +62,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
2 changes: 1 addition & 1 deletion test/regression/arithmetic.txn
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
create(1, 0, TestArithmetic, )
create(1, 0, 0, TestArithmetic, )
3 changes: 3 additions & 0 deletions test/regression/arraystestcontract.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -88,6 +88,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
2 changes: 1 addition & 1 deletion test/regression/arraystestcontract.txn
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
create(1, 0, TestArraysContract, )
create(1, 0, 0, TestArraysContract, )
3 changes: 3 additions & 0 deletions test/regression/contract.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -328,6 +328,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
2 changes: 1 addition & 1 deletion test/regression/contract.txn
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
create(1, 0, UniswapV2Swap, address(2), address(3), address(4))
create(1, 0, 0, UniswapV2Swap, address(2), address(3), address(4))
3 changes: 3 additions & 0 deletions test/regression/eventtestcontract.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -208,6 +208,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
2 changes: 1 addition & 1 deletion test/regression/eventtestcontract.txn
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
create(1, 0, TestEventsContract, )
create(1, 0, 0, TestEventsContract, )
3 changes: 3 additions & 0 deletions test/regression/function.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2050,6 +2050,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
4 changes: 2 additions & 2 deletions test/regression/function.txn
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
create(1, 0, UniswapV2SwapTest, ),
txn(1, 2, 0, setUp, )
create(1, 0, 0, UniswapV2SwapTest, ),
txn(1, 2, 0, 0, setUp, )
3 changes: 3 additions & 0 deletions test/regression/mapstestcontract.ref
View file
Original file line number Diff line number Diff line change
Expand Up @@ -114,6 +114,9 @@
<tx-origin>
1p160
</tx-origin>
<block-timestamp>
0p256
</block-timestamp>
<this>
2p160
</this>
Expand Down
2 changes: 1 addition & 1 deletion test/regression/mapstestcontract.txn
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
create(1, 0, TestMapsContract, )
create(1, 0, 0, TestMapsContract, )
6 changes: 3 additions & 3 deletions test/transactions/swaps/UniswapTest.txn
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
create(1, 0, UniswapV2SwapTest, ),
txn(1, 2, 0, setUp, ),
txn(1, 2, 0, testSwapSingleHopExactAmountIn, )
create(1, 0, 1724300000, UniswapV2SwapTest, ),
txn(1, 2, 0, 1724300000, setUp, ),
txn(1, 2, 0, 1724300000, testSwapSingleHopExactAmountIn, )

0 comments on commit 4db147d

Please sign in to comment.