Adjust test to match new selfdestruct behavior

crytic · Sep 16, 2024 · 4c4421d · 4c4421d
1 parent d03c34a
commit 4c4421d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/src/test/Tests/Integration.hs b/src/test/Tests/Integration.hs
@@ -92,7 +92,7 @@ integrationTests = testGroup "Solidity Integration Testing"
       ]
   , testContract "basic/gaslimit.sol"  Nothing
       [ ("echidna_gaslimit passed",                passed      "echidna_gaslimit") ]
-  ,  testContractV "basic/killed.sol"      (Just (< solcV (0,8,0))) Nothing
+  ,  testContractV "basic/killed.sol"      (Just (< solcV (0,8,0))) (Just "basic/killed.yaml")
       [ ("echidna_still_alive failed",             solved      "echidna_still_alive") ]
   ,  checkConstructorConditions "basic/codesize.sol"
       "invalid codesize"

diff --git a/tests/solidity/basic/killed.sol b/tests/solidity/basic/killed.sol
@@ -1,4 +1,5 @@
 contract C {
+  constructor() public payable {}
 
   uint private state = 0;
   function f(uint x) public {
@@ -11,7 +12,7 @@ contract C {
   }
 
   function echidna_still_alive() public returns (bool) {
-    return true;
+    return address(this).balance > 0;
   }
 
   function echidna_revert_still_alive() public returns (bool) {

diff --git a/tests/solidity/basic/killed.yaml b/tests/solidity/basic/killed.yaml
@@ -0,0 +1 @@
+balanceContract: 100