use _:_WS

runtimeverification · Sep 4, 2023 · b12e829 · b12e829
1 parent 12b7b75
commit b12e829
Show file tree

Hide file tree

Showing 19 changed files with 19 additions and 19 deletions.
diff --git a/kevm-pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/kcfg.json b/kevm-pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/kcfg.json
diff --git a/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/3.json b/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/3.json
diff --git a/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/4.json b/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/4.json
diff --git a/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/5.json b/...pyk/src/tests/unit/test-data/foundry-list/apr_proofs/AssertTest.setUp()/kcfg/nodes/5.json
diff --git a/...nit/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/kcfg.json b/...nit/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/kcfg.json
diff --git a/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/3.json b/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/3.json
diff --git a/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/4.json b/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/4.json
diff --git a/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/5.json b/.../test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_false():0/kcfg/nodes/5.json
diff --git a/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/3.json b/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/3.json
diff --git a/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/4.json b/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/4.json
diff --git a/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/5.json b/...t/test-data/foundry-list/apr_proofs/AssertTest.testFail_assert_true():0/kcfg/nodes/5.json
diff --git a/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/3.json b/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/3.json
diff --git a/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/4.json b/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/4.json
diff --git a/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/5.json b/...unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_false():0/kcfg/nodes/5.json
diff --git a/...sts/unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/kcfg.json b/...sts/unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/kcfg.json
diff --git a/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/3.json b/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/3.json
diff --git a/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/4.json b/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/4.json
diff --git a/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/5.json b/.../unit/test-data/foundry-list/apr_proofs/AssertTest.test_assert_true():0/kcfg/nodes/5.json
diff --git a/optimizer/build-spec.py b/optimizer/build-spec.py
@@ -35,7 +35,7 @@
 minusInt = lambda i1, i2: pyk.KApply('_-Int_' , [i1, i2])
 
 empt_word = pyk.KConstant('.WordStack_EVM-TYPES_WordStack')
-cons_word = lambda w, ws: pyk.KApply('_:__EVM-TYPES_WordStack_Int_WordStack', [w, ws])
+cons_word = lambda w, ws: pyk.KApply('_:_WS', [w, ws])
 
 infGas = lambda g: pyk.KApply('infGas', [g])