Add test for recursive storage generation in new accounts

runtimeverification · Jun 12, 2024 · 78d538d · 78d538d
1 parent 16cd4e5
commit 78d538d
Show file tree

Hide file tree

Showing 3 changed files with 856 additions and 0 deletions.
diff --git a/src/tests/integration/test-data/foundry-dependency-all b/src/tests/integration/test-data/foundry-dependency-all
@@ -8,6 +8,7 @@ CSETest.test_add_const(uint256,uint256)
 CSETest.test_identity(uint256,uint256)
 ConstructorTest.test_contract_call()
 ContractFieldTest.testEscrowToken()
+TGovernance.getEscrowTokenTotalSupply()
 Identity.applyOp(uint256)
 Identity.identity(uint256)
 ImportedContract.set(uint256)

diff --git a/src/tests/integration/test-data/foundry/test/ContractFieldTest.t.sol b/src/tests/integration/test-data/foundry/test/ContractFieldTest.t.sol
@@ -26,6 +26,18 @@ contract TEscrow {
     }
 }
 
+contract TGovernance {
+    TEscrow escrow;
+
+    constructor(address _escrow) {
+        escrow = TEscrow(_escrow);
+    }
+
+    function getEscrowTokenTotalSupply() public returns (uint256) {
+        return escrow.getTokenTotalSupply();
+    }
+}
+
 contract ContractFieldTest is Test {
     TToken token;
     TEscrow escrow;