mutate state after the reverted subcall

evmos · Jul 27, 2021 · 0775537 · 0775537
1 parent c68475f
commit 0775537
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/tests/solidity/suites/exception/contracts/TestRevert.sol b/tests/solidity/suites/exception/contracts/TestRevert.sol
@@ -18,6 +18,7 @@ contract State {
 contract TestRevert {
     State state;
     uint256 b = 0;
+    uint256 c = 0;
     constructor() {
         state = new State();
     }
@@ -26,6 +27,7 @@ contract TestRevert {
         try state.set(input) {
         } catch (bytes memory) {
         }
+        c = input;
     }
     function set(uint256 input) public {
         state.force_set(input);
@@ -36,4 +38,7 @@ contract TestRevert {
     function query_b() public view returns(uint256) {
         return b;
     }
+    function query_c() public view returns(uint256) {
+        return c;
+    }
 }
diff --git a/tests/solidity/suites/exception/test/revert.js b/tests/solidity/suites/exception/test/revert.js
@@ -25,6 +25,8 @@ contract('TestRevert', (accounts) => {
       assert.equal(no, '0', 'The modification on a should be reverted')
       no = await revert.query_b()
       assert.equal(no, '10', 'The modification on b should not be reverted')
+      no = await revert.query_c()
+      assert.equal(no, '10', 'The modification on c should not be reverted')
 
       await revert.set(10)
       no = await revert.query_a()