kevm-pyk/src/tests: update show tests to not include module names

runtimeverification · Aug 4, 2023 · 6da8732 · 6da8732
1 parent bd7c552
commit 6da8732
Show file tree

Hide file tree

Showing 14 changed files with 1 addition and 13 deletions.
diff --git a/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected b/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected
@@ -402,7 +402,6 @@ Node 8:
 
 
 
-module SUMMARY-GASTEST.TESTINFINITEGAS:2D62D882FDFF8A15356C18FB56537799FC3B671FF76E3FEBFEBC12D26C7B1A8B
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_assert_false.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_assert_false.expected
@@ -37,7 +37,6 @@
 
 
 
-module SUMMARY-ASSERTTEST.TESTFAIL-ASSERT-FALSE:5577CB969478744FC722D3AD8CDEEA4FA5422057C4DA17340885E9508DCA1C1B
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_assert_true.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_assert_true.expected
@@ -241,7 +241,6 @@ Node 5:
 
 
 
-module SUMMARY-ASSERTTEST.TESTFAIL-ASSERT-TRUE:DF20BF9B5A13BCD303E644D29C92FAB6BCD623E32BFEAE5BF6424B5B12D48A05
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert.expected
@@ -263,7 +263,6 @@ Node 7:
 
 
 
-module SUMMARY-ASSERTTEST.TESTFAIL-EXPECT-REVERT:F9056D9AA61D17E4DE23D87DBB0B5CF049829763E5DA25458C22A24E2070B50F
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_assert_false.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_assert_false.expected
@@ -241,7 +241,6 @@ Node 5:
 
 
 
-module SUMMARY-ASSERTTEST.TEST-ASSERT-FALSE:CFB028AA149E5F72463BE0C7741C877FB500DFBE3067E83126709B8F42599C2C
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_assert_true.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_assert_true.expected
@@ -37,7 +37,6 @@
 
 
 
-module SUMMARY-ASSERTTEST.TEST-ASSERT-TRUE:D8A424518EAE72E82AFD0ED12612CFD1CE58CA7DD2B7B97849FDA1EEF86C8FBF
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_failing_branch.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_failing_branch.expected
@@ -291,7 +291,6 @@ Node 11:
 
 
 
-module SUMMARY-ASSERTTEST.TEST-FAILING-BRANCH:875DA11818EC2238BF8BD8EAE4C6E14C187574FD2F9A735ED48449289888EE49
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_revert_branch.expected b/kevm-pyk/src/tests/integration/test-data/show/AssertTest.test_revert_branch.expected
@@ -293,7 +293,6 @@ Node 10:
 
 
 
-module SUMMARY-ASSERTTEST.TEST-REVERT-BRANCH:96C8F446CD0E295223D5830E0E33A9ACD0BA89AC04AD1E724E0606D8C7C823E6
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false.expected b/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false.expected
@@ -261,7 +261,6 @@ Node 7:
 
 
 
-module SUMMARY-ASSUMETEST.TESTFAIL-ASSUME-FALSE:9B51129C810CD70A6D4B5E7509F6D2AB7CB621270F5AE997069B120447477301
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true.expected b/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true.expected
@@ -79,7 +79,6 @@
 
 
 
-module SUMMARY-ASSUMETEST.TESTFAIL-ASSUME-TRUE:D1891CC2C05DFD60FB474D6F97CB4E40D746143D5D68FBE7D75DDE97CCC16C6D
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.test_assume_false.expected b/kevm-pyk/src/tests/integration/test-data/show/AssumeTest.test_assume_false.expected
@@ -292,7 +292,6 @@ Node 11:
 
 
 
-module SUMMARY-ASSUMETEST.TEST-ASSUME-FALSE:7CAB85594FF9628D3E96542EB8463011A528391F8FCAC5987A797D7C34343EE9
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/LoopsTest.sum_N.expected b/kevm-pyk/src/tests/integration/test-data/show/LoopsTest.sum_N.expected
@@ -104,7 +104,6 @@
 
 
 
-module SUMMARY-LOOPSTEST.SUM-N:1D0337447247945D9E0BFE11A38E2F42DBCBC28921E314445717903AFBC4401C
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize.expected b/kevm-pyk/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize.expected
@@ -37,7 +37,6 @@
 
 
 
-module SUMMARY-SETUPDEPLOYTEST.TEST-EXTCODESIZE:B531A926861E419837B07FE6ACB146F1F7AC8BF0D6F3A2E0CE6DF49E0EAF691A
 
 
     rule [BASIC-BLOCK-1-TO-3]: <foundry>

diff --git a/kevm-pyk/src/tests/integration/test_foundry_prove.py b/kevm-pyk/src/tests/integration/test_foundry_prove.py
@@ -233,6 +233,7 @@ def assert_or_update_show_output(show_res: str, expected_file: Path, *, update:
                 '│   src: ',
                 '┃  │   src: ',
                 '   │   src: ',
+                'module',
             )
         )
     )