diff --git a/test/regression/arithmetic.ref b/test/regression/arithmetic.ref index 36c731e..d633596 100644 --- a/test/regression/arithmetic.ref +++ b/test/regression/arithmetic.ref @@ -39,6 +39,9 @@ .List + + false + 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 @@ -59,6 +62,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/arithmetic.txn b/test/regression/arithmetic.txn index da756a5..f47d969 100644 --- a/test/regression/arithmetic.txn +++ b/test/regression/arithmetic.txn @@ -1 +1 @@ -create(1, 0, TestArithmetic, ) +create(1, 0, 0, TestArithmetic, ) diff --git a/test/regression/arraystestcontract.ref b/test/regression/arraystestcontract.ref index b9fb536..7b671fa 100644 --- a/test/regression/arraystestcontract.ref +++ b/test/regression/arraystestcontract.ref @@ -88,6 +88,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/arraystestcontract.txn b/test/regression/arraystestcontract.txn index cc1f237..8eedaac 100644 --- a/test/regression/arraystestcontract.txn +++ b/test/regression/arraystestcontract.txn @@ -1 +1 @@ -create(1, 0, TestArraysContract, ) +create(1, 0, 0, TestArraysContract, ) diff --git a/test/regression/contract.ref b/test/regression/contract.ref index 5bfbcd1..9f798f7 100644 --- a/test/regression/contract.ref +++ b/test/regression/contract.ref @@ -328,6 +328,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/contract.txn b/test/regression/contract.txn index d7d78a8..68ba651 100644 --- a/test/regression/contract.txn +++ b/test/regression/contract.txn @@ -1 +1 @@ -create(1, 0, UniswapV2Swap, address(2), address(3), address(4)) +create(1, 0, 0, UniswapV2Swap, address(2), address(3), address(4)) diff --git a/test/regression/eventtestcontract.ref b/test/regression/eventtestcontract.ref index a9731c2..12a48a5 100644 --- a/test/regression/eventtestcontract.ref +++ b/test/regression/eventtestcontract.ref @@ -208,6 +208,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/eventtestcontract.txn b/test/regression/eventtestcontract.txn index 3f14e18..cf2968a 100644 --- a/test/regression/eventtestcontract.txn +++ b/test/regression/eventtestcontract.txn @@ -1 +1 @@ -create(1, 0, TestEventsContract, ) +create(1, 0, 0, TestEventsContract, ) diff --git a/test/regression/function.ref b/test/regression/function.ref index acf425a..6898389 100644 --- a/test/regression/function.ref +++ b/test/regression/function.ref @@ -2050,6 +2050,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/function.txn b/test/regression/function.txn index 09ec33e..50d0e11 100644 --- a/test/regression/function.txn +++ b/test/regression/function.txn @@ -1,2 +1,2 @@ -create(1, 0, UniswapV2SwapTest, ), -txn(1, 2, 0, setUp, ) +create(1, 0, 0, UniswapV2SwapTest, ), +txn(1, 2, 0, 0, setUp, ) diff --git a/test/regression/mapstestcontract.ref b/test/regression/mapstestcontract.ref index 70d8dbb..b4809ac 100644 --- a/test/regression/mapstestcontract.ref +++ b/test/regression/mapstestcontract.ref @@ -114,6 +114,9 @@ 1p160 + + 0p256 + 2p160 diff --git a/test/regression/mapstestcontract.txn b/test/regression/mapstestcontract.txn index f97c4e2..5d7eac7 100644 --- a/test/regression/mapstestcontract.txn +++ b/test/regression/mapstestcontract.txn @@ -1 +1 @@ -create(1, 0, TestMapsContract, ) +create(1, 0, 0, TestMapsContract, ) diff --git a/test/transactions/swaps/UniswapTest.txn b/test/transactions/swaps/UniswapTest.txn index c8c9995..010514c 100644 --- a/test/transactions/swaps/UniswapTest.txn +++ b/test/transactions/swaps/UniswapTest.txn @@ -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, )