Update tests

ethereum · Sep 23, 2024 · 634d365 · 634d365
1 parent ca19531
commit 634d365
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 6 deletions.
diff --git a/tests/hevm/pass/cast-2/cast.act b/tests/hevm/pass/cast-2/cast.act
@@ -63,13 +63,17 @@ storage
 constructor of B
 interface constructor(address x, address y)
 
+pointers
+  x |-> A
+  y |-> A
+
 iff
     CALLVALUE == 0
     x =/= y
 
 creates
-    A a1 := x as A
-    A a2 := y as A
+    A a1 := x
+    A a2 := y
 
 
 behaviour upd of B

diff --git a/tests/hevm/pass/cast-3/cast-3.act b/tests/hevm/pass/cast-3/cast-3.act
@@ -43,14 +43,17 @@ case CALLER == to:
 constructor of TransferOneToken
 interface constructor(address _tokenAddress)
 
+pointers
+    _tokenAddress |-> Token
+
 iff
 
     CALLVALUE == 0
     _tokenAddress =/= 0
 
 creates
 
-    Token token := _tokenAddress as Token
+    Token token := _tokenAddress
 
 behaviour transfer of TransferOneToken
 interface transfer()

diff --git a/tests/hevm/pass/cast/cast.act b/tests/hevm/pass/cast/cast.act
@@ -32,13 +32,17 @@ storage
 constructor of B
 interface constructor(address x, address y)
 
+pointers
+  x |-> A
+  y |-> A
+
 iff
     CALLVALUE == 0
     x =/= y
 
 creates
-    A a := x as A
-    B b := y as A
+    A a1 := x
+    A a2 := y
 
 
 behaviour upd of B
@@ -50,4 +54,4 @@ iff
 
 storage
   a1.x => 42
-  a2.x => 11
+  a2.x => 11