Run all GeneralStateTests (#2334)

* fix bug in EIP-3860

* include all tests in test harness

* add loopMul to slow tests

* add loopExp to slow tests

* Set Version: 1.0.483

* Set Version: 1.0.488

---------

Co-authored-by: devops <[email protected]>

Author: Dwight Guth

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.487"
+version = "1.0.488"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

kevm-pyk/src/kevm_pyk/__init__.py

@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.487'
+VERSION: Final = '1.0.488'

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md

@@ -1674,7 +1674,7 @@ For each `CALL*` operation, we make a corresponding call to `#call` and a state-
          <id> ACCT </id>
          <localMem> LM </localMem>
          <schedule> SCHED </schedule>
-      requires #hasValidInitCode( MEMWIDTH /Int 2, SCHED)
+      requires #hasValidInitCode(MEMWIDTH, SCHED)
 
     rule [create2-invalid]:
          <k> CREATE2 _ _ _ _ => #end EVMC_OUT_OF_GAS ... </k> [owise]

kevm-pyk/src/tests/integration/test_conformance.py

@@ -91,7 +91,7 @@ def test_rest_vm(test_file: Path) -> None:
 
 
 BCHAIN_NEW_TEST_DIR: Final = TEST_DIR / 'BlockchainTests/GeneralStateTests'
-BCHAIN_NEW_TESTS: Final = tuple(BCHAIN_NEW_TEST_DIR.glob('*/*.json'))
+BCHAIN_NEW_TESTS: Final = tuple(BCHAIN_NEW_TEST_DIR.glob('**/*.json'))
 
 BCHAIN_LEGACY_TEST_DIR: Final = TEST_DIR / 'LegacyTests/Constantinople/BlockchainTests/GeneralStateTests'
 BCHAIN_LEGACY_TESTS: Final = tuple(BCHAIN_LEGACY_TEST_DIR.glob('*/*.json'))

package/version

@@ -1 +1 @@
-1.0.487
+1.0.488

tests/slow.llvm

@@ -1,2 +1,4 @@
 tests/ethereum-tests/LegacyTests/Constantinople/BlockchainTests/GeneralStateTests/stQuadraticComplexityTest/Call50000bytesContract50_2_d0g1v0.json
 tests/ethereum-tests/LegacyTests/Constantinople/BlockchainTests/GeneralStateTests/stStaticCall/static_Call50000bytesContract50_2_d1g0v0.json
+tests/ethereum-tests/BlockchainTests/GeneralStateTests/VMTests/vmPerformance/loopMul.json
+tests/ethereum-tests/BlockchainTests/GeneralStateTests/VMTests/vmPerformance/loopExp.json