Skip to content

Commit

Permalink
Update expected output
Browse files Browse the repository at this point in the history
  • Loading branch information
@palinatolmach
palinatolmach committed Oct 4, 2024
1 parent 137493e commit 71d9e1e
Show file tree
Hide file tree
Showing 10 changed files with 47 additions and 47 deletions.
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -525,11 +525,11 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -765,11 +765,11 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -856,11 +856,11 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -762,11 +762,11 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -528,11 +528,11 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -828,11 +828,11 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1073,11 +1073,11 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_ASSERTTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
58 changes: 29 additions & 29 deletions src/tests/integration/test-data/show/BMCBoundTest.testBound().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
┃ ┃ ?WORD:Int <=Int 0
┃ │
┃ ├─ 4
┃ │ k: JUMPI 508 1 ~> #pc [ JUMPI ] ~> #execute ~> CONTINUATION:K
┃ │ k: JUMPI 508 bool2Word ( ?WORD:Int <=Int 0 ) ~> #pc [ JUMPI ] ~> #execute ~> CONTIN ...
┃ │ pc: 465
┃ │ callDepth: 0
┃ │ statusCode: STATUSCODE:StatusCode
Expand Down Expand Up @@ -475,7 +475,7 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
rule [BASIC-BLOCK-4-TO-6]: <foundry>
<kevm>
<k>
( JUMPI 508 1
( JUMPI 508 bool2Word ( ?WORD:Int <=Int 0 )
~> #pc [ JUMPI ]
~> #execute => #halt ~> .K )
~> _CONTINUATION
Expand Down Expand Up @@ -702,12 +702,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
))))))))))))))))
Expand Down Expand Up @@ -944,12 +944,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))))))
Expand Down Expand Up @@ -1187,12 +1187,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
))))))))))))))))))
Expand Down Expand Up @@ -1431,12 +1431,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))))))))
Expand Down Expand Up @@ -1672,12 +1672,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))))))))
Expand Down Expand Up @@ -1911,12 +1911,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
))))))))))))))))
Expand Down Expand Up @@ -2151,12 +2151,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))))))
Expand Down Expand Up @@ -2392,12 +2392,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
))))))))))))))))))
Expand Down Expand Up @@ -2634,12 +2634,12 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ?WORD:Int <Int pow256
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_BMCBOUNDTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -590,11 +590,11 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_SETUPDEPLOYTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down
4 changes: 2 additions & 2 deletions src/tests/integration/test-data/show/split-node.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -766,11 +766,11 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
andBool ( NUMBER_CELL:Int <Int pow32
andBool ( 1073741824 <Int TIMESTAMP_CELL:Int
andBool ( TIMESTAMP_CELL:Int <Int 34359738368
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( CALLER_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( ORIGIN_ID:Int =/=Int 645326474426547203313410069153905908525362434349
andBool ( _C_PRANKTEST_ID =/=Int 645326474426547203313410069153905908525362434349
andBool ( CALLER_ID:Int <Int pow160
andBool ( ORIGIN_ID:Int <Int pow160
andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
)))))))))))))
Expand Down

0 comments on commit 71d9e1e

Please sign in to comment.