update tests

Pi-Squared-Inc · Sep 3, 2024 · 70818b1 · 70818b1
1 parent 4db147d
commit 70818b1
Show file tree

Hide file tree

Showing 8 changed files with 31 additions and 4 deletions.
diff --git a/test/regression/block.ref b/test/regression/block.ref
@@ -39,6 +39,9 @@
           <contract-fn-return-names>
             .List
           </contract-fn-return-names>
+          <contract-fn-payable>
+            false
+          </contract-fn-payable>
           <contract-fn-body>
             bool x = false ;  { bool x = true ;  require ( x , "" , .TypedVals ) ;  .Statements }  if ( x ) { require ( false , "" , .TypedVals ) ;  .Statements }  .Statements
           </contract-fn-body>
@@ -59,6 +62,9 @@
     <tx-origin>
       1p160
     </tx-origin>
+    <block-timestamp>
+      0p256
+    </block-timestamp>
     <this>
       2p160
     </this>

diff --git a/test/regression/block.txn b/test/regression/block.txn
@@ -1 +1 @@
-create(1, 0, BlockTest, )
+create(1, 0, 0, BlockTest, )
diff --git a/test/regression/boolean.ref b/test/regression/boolean.ref
@@ -39,6 +39,9 @@
           <contract-fn-return-names>
             .List
           </contract-fn-return-names>
+          <contract-fn-payable>
+            false
+          </contract-fn-payable>
           <contract-fn-body>
             bool x = true ;  if ( x || fail ( .TypedVals ) ) { .Statements } else { require ( false , "" , .TypedVals ) ;  .Statements }  if ( x && true ) { .Statements } else { require ( false , "" , .TypedVals ) ;  .Statements }  x = false ;  if ( x && fail ( .TypedVals ) ) { require ( false , "" , .TypedVals ) ;  .Statements }  if ( x || true ) { .Statements } else { require ( false , "" , .TypedVals ) ;  .Statements }  .Statements
           </contract-fn-body>
@@ -61,6 +64,9 @@
           <contract-fn-return-names>
             .List
           </contract-fn-return-names>
+          <contract-fn-payable>
+            false
+          </contract-fn-payable>
           <contract-fn-body>
             require ( false , "" , .TypedVals ) ;  .Statements
           </contract-fn-body>
@@ -81,6 +87,9 @@
     <tx-origin>
       1p160
     </tx-origin>
+    <block-timestamp>
+      0p256
+    </block-timestamp>
     <this>
       2p160
     </this>

diff --git a/test/regression/boolean.txn b/test/regression/boolean.txn
@@ -1 +1 @@
-create(1, 0, BoolTest, )
+create(1, 0, 0, BoolTest, )
diff --git a/test/regression/emit.ref b/test/regression/emit.ref
@@ -39,6 +39,9 @@
           <contract-fn-return-names>
             .List
           </contract-fn-return-names>
+          <contract-fn-payable>
+            false
+          </contract-fn-payable>
           <contract-fn-body>
             emit Approval ( address ( 1 , .TypedVals ) , address ( 0 , .TypedVals ) , address ( 2 , .TypedVals ) , .TypedVals ) ;  .Statements
           </contract-fn-body>
@@ -77,6 +80,9 @@
     <tx-origin>
       1p160
     </tx-origin>
+    <block-timestamp>
+      0p256
+    </block-timestamp>
     <this>
       2p160
     </this>

diff --git a/test/regression/emit.txn b/test/regression/emit.txn
@@ -1 +1 @@
-create(1, 10, EmitTest, )
+create(1, 10, 0, EmitTest, )
diff --git a/test/regression/if.ref b/test/regression/if.ref
@@ -39,6 +39,9 @@
           <contract-fn-return-names>
             .List
           </contract-fn-return-names>
+          <contract-fn-payable>
+            false
+          </contract-fn-payable>
           <contract-fn-body>
             bool x = true ;  bool y = false ;  if ( x ) { y = true ;  .Statements } else { require ( false , "" , .TypedVals ) ;  .Statements }  require ( y , "" , .TypedVals ) ;  y = false ;  x = false ;  if ( x ) { require ( false , "" , .TypedVals ) ;  .Statements } else { y = true ;  .Statements }  require ( y , "" , .TypedVals ) ;  if ( x ) { require ( false , "" , .TypedVals ) ;  .Statements }  .Statements
           </contract-fn-body>
@@ -59,6 +62,9 @@
     <tx-origin>
       1p160
     </tx-origin>
+    <block-timestamp>
+      0p256
+    </block-timestamp>
     <this>
       2p160
     </this>

diff --git a/test/regression/if.txn b/test/regression/if.txn
@@ -1 +1 @@
-create(1, 0, IfTest, )
+create(1, 0, 0, IfTest, )
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		create(1, 0, BlockTest, )
		create(1, 0, 0, BlockTest, )
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		create(1, 0, BoolTest, )
		create(1, 0, 0, BoolTest, )
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		create(1, 10, EmitTest, )
		create(1, 10, 0, EmitTest, )