Partial output update

Author: palinatolmach

src/tests/integration/test-data/show/AddConst.applyOp(uint256).cse.expected

@@ -126,6 +126,9 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
                    <callGas>
                      0
                    </callGas>
+                   <callDepth>
+                     CALLDEPTH_CELL:Int
+                   </callDepth>
                    ...
                  </callState>
                  <substate>
@@ -179,6 +182,18 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
              true
            </stackChecks>
            <cheatcodes>
+             <prank>
+               <depth>
+                 DEPTH_CELL:Int
+               </depth>
+               ...
+             </prank>
+             <expectedRevert>
+               <expectedDepth>
+                 EXPECTEDDEPTH_CELL:Int
+               </expectedDepth>
+               ...
+             </expectedRevert>
              <expectedOpcode>
                <isOpcodeExpected>
                  false
@@ -238,6 +253,8 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
        andBool ( NUMBER_CELL:Int <Int pow32
        andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
        andBool ( TIMESTAMP_CELL:Int <Int 34359738368
+       andBool ( DEPTH_CELL:Int <Int CALLDEPTH_CELL:Int
+       andBool ( EXPECTEDDEPTH_CELL:Int <Int CALLDEPTH_CELL:Int
        andBool ( C_ADDCONST_NONCE:Int <Int maxUInt64
        andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
        andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
@@ -254,7 +271,7 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
        andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 10 ) )
        andBool ( ( notBool #range ( 0 < C_ADDCONST_ID:Int <= 10 ) )
        andBool ( KV0_x:Int <=Int ( maxUInt256 -Int #lookup ( C_ADDCONST_STORAGE:Map , 0 ) )
-               ))))))))))))))))))))))))
+               ))))))))))))))))))))))))))
       [priority(20), label(BASIC-BLOCK-8-TO-6)]
 
     rule [BASIC-BLOCK-9-TO-7]: <foundry>
@@ -305,6 +322,9 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
                    <callGas>
                      0
                    </callGas>
+                   <callDepth>
+                     CALLDEPTH_CELL:Int
+                   </callDepth>
                    ...
                  </callState>
                  <substate>
@@ -358,6 +378,18 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
              true
            </stackChecks>
            <cheatcodes>
+             <prank>
+               <depth>
+                 DEPTH_CELL:Int
+               </depth>
+               ...
+             </prank>
+             <expectedRevert>
+               <expectedDepth>
+                 EXPECTEDDEPTH_CELL:Int
+               </expectedDepth>
+               ...
+             </expectedRevert>
              <expectedOpcode>
                <isOpcodeExpected>
                  false
@@ -417,6 +449,8 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
        andBool ( NUMBER_CELL:Int <Int pow32
        andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
        andBool ( TIMESTAMP_CELL:Int <Int 34359738368
+       andBool ( DEPTH_CELL:Int <Int CALLDEPTH_CELL:Int
+       andBool ( EXPECTEDDEPTH_CELL:Int <Int CALLDEPTH_CELL:Int
        andBool ( C_ADDCONST_NONCE:Int <Int maxUInt64
        andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
        andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
@@ -433,7 +467,7 @@ module SUMMARY-SRC%CSE%ADDCONST.APPLYOP(UINT256):0
        andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 10 ) )
        andBool ( ( notBool #range ( 0 < C_ADDCONST_ID:Int <= 10 ) )
        andBool ( ( maxUInt256 -Int #lookup ( C_ADDCONST_STORAGE:Map , 0 ) ) <Int KV0_x:Int
-               ))))))))))))))))))))))))
+               ))))))))))))))))))))))))))
       [priority(20), label(BASIC-BLOCK-9-TO-7)]
 
 endmodule