different output

runtimeverification · Sep 19, 2024 · ebab10a · ebab10a
1 parent 82cde52
commit ebab10a
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/src/tests/integration/test-data/show/node-refutation.expected b/src/tests/integration/test-data/show/node-refutation.expected
@@ -42,7 +42,7 @@
    │   method: test%MergeTest.test_branch_merge(uint256)
    │
    │  (90 steps)
-   ├─ 10
+   ├─ 12
    │   k: #end EVMC_SUCCESS ~> #pc [ STOP ] ~> #execute ~> CONTINUATION:K
    │   pc: 235
    │   callDepth: 0
@@ -51,7 +51,7 @@
    │   method: test%MergeTest.test_branch_merge(uint256)
    │
    │  (1 step)
-   ├─ 11
+   ├─ 13
    │   k: #halt ~> #pc [ STOP ] ~> #execute ~> CONTINUATION:K
    │   pc: 235
    │   callDepth: 0
@@ -60,7 +60,7 @@
    │   method: test%MergeTest.test_branch_merge(uint256)
    │
    │  (2 steps)
-   ├─ 12 (terminal)
+   ├─ 14 (terminal)
    │   k: #halt ~> CONTINUATION:K
    │   pc: 235
    │   callDepth: 0
@@ -319,7 +319,7 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
                )))))))))))))))
       [priority(20), label(BASIC-BLOCK-1-TO-3)]
 
-    rule [BASIC-BLOCK-5-TO-10]: <foundry>
+    rule [BASIC-BLOCK-5-TO-12]: <foundry>
            <kevm>
              <k>
                ( JUMPI 535 bool2Word ( 10 <=Int VV0_x_114b9705:Int )
@@ -556,9 +556,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
        andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
        andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
                ))))))))))))))))
-      [priority(20), label(BASIC-BLOCK-5-TO-10)]
+      [priority(20), label(BASIC-BLOCK-5-TO-12)]
 
-    rule [BASIC-BLOCK-10-TO-11]: <foundry>
+    rule [BASIC-BLOCK-12-TO-13]: <foundry>
            <kevm>
              <k>
                ( #end EVMC_SUCCESS => #halt )
@@ -797,9 +797,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
        andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
        andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
                ))))))))))))))))
-      [priority(20), label(BASIC-BLOCK-10-TO-11)]
+      [priority(20), label(BASIC-BLOCK-12-TO-13)]
 
-    rule [BASIC-BLOCK-11-TO-12]: <foundry>
+    rule [BASIC-BLOCK-13-TO-14]: <foundry>
            <kevm>
              <k>
                #halt
@@ -1038,7 +1038,7 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
        andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) )
        andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) )
                ))))))))))))))))
-      [priority(20), label(BASIC-BLOCK-11-TO-12)]
+      [priority(20), label(BASIC-BLOCK-13-TO-14)]
 
 endmodule
 0 Failure nodes. (0 pending and 0 failing)