update expected files

runtimeverification · Dec 2, 2024 · f3566b6 · f3566b6
1 parent ca6919f
commit f3566b6
Show file tree

Hide file tree

Showing 5 changed files with 2,293 additions and 1,731 deletions.
diff --git a/.../test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected b/.../test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected
@@ -136,6 +136,30 @@
        statusCode: STATUSCODE_FINAL:StatusCode
 
 
+┌─ 36 (root, leaf, pending)
+│   k: #execute ~> CONTINUATION:K
+│   pc: 0
+│   callDepth: CALLDEPTH_CELL:Int
+│   statusCode: STATUSCODE:StatusCode
+│   src: test/nested/SimpleNested.t.sol:7:11
+│   method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256)
+
+┌─ 42 (root, leaf, pending)
+│   k: #execute ~> CONTINUATION:K
+│   pc: 0
+│   callDepth: CALLDEPTH_CELL:Int
+│   statusCode: STATUSCODE:StatusCode
+│   src: test/nested/SimpleNested.t.sol:7:11
+│   method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256)
+
+┌─ 46 (root, leaf, pending)
+│   k: #execute ~> CONTINUATION:K
+│   pc: 0
+│   callDepth: CALLDEPTH_CELL:Int
+│   statusCode: STATUSCODE:StatusCode
+│   src: test/nested/SimpleNested.t.sol:7:11
+│   method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256)
+
 
 
 module SUMMARY-SRC%ARITHMETICCONTRACT.ADD-SUB-EXTERNAL(UINT256,UINT256,UINT256):0

diff --git a/src/tests/integration/test-data/show/CallableStorageContract.str().cse.expected b/src/tests/integration/test-data/show/CallableStorageContract.str().cse.expected
@@ -68,6 +68,22 @@
        statusCode: STATUSCODE_FINAL:StatusCode
 
 
+┌─ 12 (root, leaf, pending)
+│   k: #execute ~> CONTINUATION:K
+│   pc: 0
+│   callDepth: CALLDEPTH_CELL:Int
+│   statusCode: STATUSCODE:StatusCode
+│   src: test/nested/SimpleNested.t.sol:7:11
+│   method: test%CallableStorageContract.str()
+
+┌─ 13 (root, leaf, pending)
+│   k: #execute ~> CONTINUATION:K
+│   pc: 0
+│   callDepth: CALLDEPTH_CELL:Int
+│   statusCode: STATUSCODE:StatusCode
+│   src: test/nested/SimpleNested.t.sol:7:11
+│   method: test%CallableStorageContract.str()
+
 
 
 module SUMMARY-TEST%CALLABLESTORAGECONTRACT.STR():0