Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/master' into release
Browse files Browse the repository at this point in the history
  • Loading branch information
rv-jenkins committed Oct 4, 2024
2 parents 90a1a67 + 330f278 commit 5c0111a
Show file tree
Hide file tree
Showing 12 changed files with 52 additions and 55 deletions.
6 changes: 3 additions & 3 deletions flake.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 2 additions & 5 deletions src/kontrol/prove.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -664,18 +664,15 @@ def _method_to_initialized_cfg(
init_term = KDefinition__expand_macros(foundry.kevm.definition, init_term)
init_cterm = CTerm.from_kast(init_term)
_LOGGER.info(f'Computing definedness constraint for node {node_id} for test: {test.name}')
init_cterm = kcfg_explore.cterm_symbolic.assume_defined(init_cterm)
init_cterm, _ = kcfg_explore.cterm_symbolic.simplify(kcfg_explore.cterm_symbolic.assume_defined(init_cterm))
kcfg.let_node(node_id, cterm=init_cterm)

_LOGGER.info(f'Expanding macros in target state for test: {test.name}')
target_term = kcfg.node(target_node_id).cterm.kast
target_term = KDefinition__expand_macros(foundry.kevm.definition, target_term)
target_cterm = CTerm.from_kast(target_term)
target_cterm, _ = kcfg_explore.cterm_symbolic.simplify(CTerm.from_kast(target_term))
kcfg.let_node(target_node_id, cterm=target_cterm)

_LOGGER.info(f'Simplifying KCFG for test: {test.name}')
kcfg_explore.simplify(kcfg, {})

return kcfg, init_node_id, target_node_id, bounded_node_ids


Expand Down
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 5c0111a

Please sign in to comment.