diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index 465055ee55..8a7d22f25f 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -69,7 +69,7 @@ jobs:
         run: |
           set -x
           kevm_version=v$(cat package/version)
-          gh release create "${kevm_version}" --target "${GITHUB_SHA}"
+          gh release create "${kevm_version}" --target "${{ github.sha }}"
 
   gh-pages:
     name: 'Publish GH Pages'
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index fe5aff4d5f..703ec070dc 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -81,16 +81,16 @@ jobs:
         with:
           container-name: kevm-ci-profile-${{ github.sha }}
       - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-profile-${GITHUB_SHA} /bin/bash -c 'make poetry'
+        run: docker exec -u github-user kevm-ci-profile-${{ github.sha }} /bin/bash -c 'make poetry'
       - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-profile-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin foundry'
+        run: docker exec -u github-user kevm-ci-profile-${{ github.sha }} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin foundry'
       - name: 'Run profiling'
         run: |
-          docker exec -u github-user kevm-ci-profile-${GITHUB_SHA} /bin/bash -c 'make profile'
+          docker exec -u github-user kevm-ci-profile-${{ github.sha }} /bin/bash -c 'make profile'
       - name: 'Tear down Docker'
         if: always()
         run: |
-          docker stop --time=0 kevm-ci-profile-${GITHUB_SHA}
+          docker stop --time=0 kevm-ci-profile-${{ github.sha }}
 
   test-concrete-execution:
     name: 'Build and Test KEVM concrete execution'
@@ -108,51 +108,38 @@ jobs:
         with:
           container-name: kevm-ci-concrete-${{ github.sha }}
       - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'make poetry'
+        run: docker exec -u github-user kevm-ci-concrete-${{ github.sha }} /bin/bash -c 'make poetry'
       - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin llvm haskell'
+        run: docker exec -u github-user kevm-ci-concrete-${{ github.sha }} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin llvm haskell'
       - name: 'Test integration'
-        run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'make test-integration'
+        run: docker exec -u github-user kevm-ci-concrete-${{ github.sha }} /bin/bash -c 'make test-integration'
       - name: 'Test conformance'
-        run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'make test-conformance'
+        run: docker exec -u github-user kevm-ci-concrete-${{ github.sha }} /bin/bash -c 'make test-conformance'
       - name: 'Test llvm krun'
-        run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'make test-interactive'
+        run: docker exec -u github-user kevm-ci-concrete-${{ github.sha }} /bin/bash -c 'make test-interactive'
       - name: 'Tear down Docker'
         if: always()
         run: |
-          docker stop --time=0 kevm-ci-concrete-${GITHUB_SHA}
+          docker stop --time=0 kevm-ci-concrete-${{ github.sha }}
 
-  test-prove-haskell:
-    name: 'Build and Test KEVM haskell proofs'
+  test-prove:
+    name: 'Build and Test KEVM proofs'
     needs: kevm-pyk-code-quality-checks
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 120
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-          fetch-depth: 0
-      - name: 'Set up Docker'
-        uses: ./.github/actions/with-docker
-        with:
-          container-name: kevm-ci-haskell-${{ github.sha }}
-      - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'make poetry'
-      - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin haskell'
-      - name: 'Prove Haskell'
-        run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'make test-prove PYTEST_ARGS=-vv'
-      - name: 'Tear down Docker'
-        if: always()
-        run: |
-          docker stop --time=0 kevm-ci-haskell-${GITHUB_SHA}
-
-  test-prove-haskell-booster:
-    name: 'Build and Test KEVM haskell proofs (booster)'
-    needs: kevm-pyk-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 150
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - test-suite: 'test-prove-kprove'
+            test-args:
+            timeout: 90
+          - test-suite: 'test-prove-pyk'
+            test-args:
+            timeout: 90
+          - test-suite: 'test-prove-pyk'
+            test-args: '--use-booster'
+            timeout: 60
+    timeout-minutes: ${{ matrix.timeout }}
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -161,49 +148,33 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          container-name: kevm-ci-haskell-booster-${{ github.sha }}
+          container-name: kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }}
       - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-haskell-booster-${GITHUB_SHA} /bin/bash -c 'make poetry'
-      - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-haskell-booster-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin haskell'
+        run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c 'make poetry'
+      - name: 'Build distribution'
+        run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin haskell'
       - name: 'Prove Haskell'
-        run: docker exec -u github-user kevm-ci-haskell-booster-${GITHUB_SHA} /bin/bash -c 'make test-prove PYTEST_ARGS="-vv --use-booster"'
+        run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c "make ${{ matrix.test-suite }} PYTEST_ARGS='-vv ${{ matrix.test-args }}'"
       - name: 'Tear down Docker'
         if: always()
         run: |
-          docker stop --time=0 kevm-ci-haskell-booster-${GITHUB_SHA}
+          docker stop --time=0 kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }}
 
   test-prove-foundry:
     name: 'Build and Test KEVM Foundry proofs'
     needs: kevm-pyk-code-quality-checks
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 150
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v3
-        with:
-          submodules: recursive
-          fetch-depth: 0
-      - name: 'Set up Docker'
-        uses: ./.github/actions/with-docker
-        with:
-          container-name: kevm-ci-foundry-${{ github.sha }}
-      - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make poetry'
-      - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin foundry'
-      - name: 'Foundry Prove'
-        run: docker exec -u github-user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make test-foundry-prove PYTEST_ARGS=-vv'
-      - name: 'Tear down Docker'
-        if: always()
-        run: |
-          docker stop --time=0 kevm-ci-foundry-${GITHUB_SHA}
-
-  test-prove-foundry-booster:
-    name: 'Build and Test KEVM Foundry proofs (booster)'
-    needs: kevm-pyk-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 150
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - test-suite: 'legacy'
+            test-args:
+            timeout: 240
+          - test-suite: 'booster'
+            test-args: '--use-booster'
+            timeout: 90
+    timeout-minutes: ${{ matrix.timeout }}
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -213,17 +184,17 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          container-name: kevm-ci-booster-${{ github.sha }}
+          container-name: kevm-ci-foundry-${{ matrix.test-suite }}-${{ github.sha }}
       - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-ci-booster-${GITHUB_SHA} /bin/bash -c 'make poetry'
+        run: docker exec -u github-user kevm-ci-foundry-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c 'make poetry'
       - name: 'Build targets'
-        run: docker exec -u github-user kevm-ci-booster-${GITHUB_SHA} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin foundry'
+        run: docker exec -u github-user kevm-ci-foundry-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin foundry'
       - name: 'Foundry Prove'
-        run: docker exec -u github-user kevm-ci-booster-${GITHUB_SHA} /bin/bash -c 'make test-foundry-prove PYTEST_ARGS="-vv --use-booster"'
+        run: docker exec -u github-user kevm-ci-foundry-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c "make test-foundry-prove PYTEST_ARGS='-vv ${{ matrix.test-args }}'"
       - name: 'Tear down Docker'
         if: always()
         run: |
-          docker stop --time=0 kevm-ci-booster-${GITHUB_SHA}
+          docker stop --time=0 kevm-ci-foundry-${{ matrix.test-suite }}-${{ github.sha }}
 
   nix:
     name: 'Nix'
diff --git a/.github/workflows/update-foundry-prove.yml b/.github/workflows/update-foundry-prove.yml
index eb4cc21bde..a97d39ce02 100644
--- a/.github/workflows/update-foundry-prove.yml
+++ b/.github/workflows/update-foundry-prove.yml
@@ -36,21 +36,21 @@ jobs:
           CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
         run: cachix watch-exec k-framework -- nix build --extra-experimental-features 'nix-command flakes' .#devShell.x86_64-linux.inputDerivation --no-link
       - name: 'Build k-deps'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make k-deps'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make k-deps'
       - name: 'Build blockchain-k-plugin-deps'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make plugin-deps'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make plugin-deps'
       - name: 'Build kevm-pyk'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make poetry'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make poetry'
       - name: 'Build evm-semantics'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make build'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make build'
       - name: 'Build Foundry'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make build-foundry -j2'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make build-foundry -j2'
       - name: 'Foundry Prove Update'
-        run: docker exec -u github-user kevm-update-output-${GITHUB_SHA} /bin/bash -c 'make test-foundry-prove FOUNDRY_PAR=8 PYTEST_ARGS+="--use-booster --update-expected-output"'
+        run: docker exec -u github-user kevm-update-output-${{ github.sha }} /bin/bash -c 'make test-foundry-prove FOUNDRY_PAR=8 PYTEST_ARGS+="--use-booster --update-expected-output"'
       - name: 'Tear down Docker'
         if: always()
         run: |
-          docker stop --time=0 kevm-update-output-${GITHUB_SHA}
+          docker stop --time=0 kevm-update-output-${{ github.sha }}
       - name: 'Commit changes'
         run: |
           git add kevm-pyk/src/tests/integration/test-data/show/ && git commit --allow-empty -m "test-data/show/: update expected show output" || true
diff --git a/Makefile b/Makefile
index 438a350b1b..a4798dc7a7 100644
--- a/Makefile
+++ b/Makefile
@@ -27,40 +27,41 @@ kevm-pyk: poetry-env
 # Tests
 # -----
 
-test: test-integration test-conformance test-prove test-interactive
+test: test-integration test-conformance test-prove test-prove-pyk test-prove-kprove test-interactive
 
 
 # Foundry Tests
 
-PYTEST_PARALLEL := 8
-PYTEST_ARGS     :=
-
 test-foundry-prove: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_foundry_prove.py -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
-
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_foundry_prove.py"
 
 # Conformance Tests
 
 test-conformance: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_conformance.py -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_conformance.py"
 
 test-vm: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_vm -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_vm"
 
 test-rest-vm: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_rest_vm -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_rest_vm"
 
 test-bchain: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_bchain -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_bchain"
 
 test-rest-bchain: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_rest_bchain -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_rest_bchain"
 
 
 # Proof Tests
 
-test-prove: tests/specs/opcodes/evm-optimizations-spec.md poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+="-k test_prove -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)"
+test-prove: test-prove-pyk test-prove-kprove
+
+test-prove-pyk: tests/specs/opcodes/evm-optimizations-spec.md poetry
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_pyk_prove"
+
+test-prove-kprove: tests/specs/opcodes/evm-optimizations-spec.md poetry
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+="-k test_kprove_prove"
 
 # to generate optimizations.md, run: ./optimizer/optimize.sh &> output
 tests/specs/opcodes/evm-optimizations-spec.md:
@@ -70,10 +71,10 @@ tests/specs/opcodes/evm-optimizations-spec.md:
 # Integration Tests
 
 test-integration: poetry
-	$(MAKE) -C kevm-pyk/ test-integration TEST_ARGS+='-k "(test_kast.py or test_run.py or test_solc_to_k.py)" -n$(PYTEST_PARALLEL) $(PYTEST_ARGS)'
+	$(MAKE) -C kevm-pyk/ test-integration PYTEST_ARGS+='-k "(test_kast.py or test_run.py or test_solc_to_k.py)"'
 
 profile: poetry
-	$(MAKE) -C kevm-pyk/ profile PROF_ARGS+='-n$(PYTEST_PARALLEL) $(PYTEST_ARGS)'
+	$(MAKE) -C kevm-pyk/ profile
 	find /tmp/pytest-of-$$(whoami)/pytest-current/ -type f -name '*.prof' | sort | xargs tail -n +1
 
 
diff --git a/kevm-pyk/Makefile b/kevm-pyk/Makefile
index f9e74a7181..c09fe7b40f 100644
--- a/kevm-pyk/Makefile
+++ b/kevm-pyk/Makefile
@@ -22,18 +22,21 @@ poetry-install:
 
 # Tests
 
-TEST_ARGS :=
+PYTEST_BASE_ARGS := --verbose --durations=0 --dist=worksteal
+PYTEST_ARGS      :=
+PYTEST_PARALLEL  := 8
+PYTEST_MAXFAIL   := 1
 
 test: test-all
 
 test-all: poetry-install
-	$(POETRY_RUN) pytest src/tests --maxfail=1 --verbose --durations=0 --numprocesses=4 --dist=worksteal $(TEST_ARGS)
+	$(POETRY_RUN) pytest src/tests $(PYTEST_BASE_ARGS) --maxfail=$(PYTEST_MAXFAIL) --numprocesses=$(PYTEST_PARALLEL) $(PYTEST_ARGS)
 
 test-unit: poetry-install
-	$(POETRY_RUN) pytest src/tests/unit --maxfail=1 --verbose $(TEST_ARGS)
+	$(POETRY_RUN) pytest src/tests/unit $(PYTEST_BASE_ARGS) --maxfail=$(PYTEST_MAXFAIL) --numprocesses=$(PYTEST_PARALLEL) $(PYTEST_ARGS)
 
 test-integration: poetry-install
-	$(POETRY_RUN) pytest src/tests/integration --maxfail=1 --verbose --durations=0 --numprocesses=4 --dist=worksteal $(TEST_ARGS)
+	$(POETRY_RUN) pytest src/tests/integration $(PYTEST_BASE_ARGS) --maxfail=$(PYTEST_MAXFAIL) --numprocesses=$(PYTEST_PARALLEL) $(PYTEST_ARGS)
 
 
 # Coverage
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 6acbdf28b1..04de023bc9 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -1,4 +1,4 @@
-# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.5.1 and should not be changed by hand.
 
 [[package]]
 name = "attrs"
@@ -891,6 +891,20 @@ pytest = ">=5.0"
 [package.extras]
 dev = ["pre-commit", "pytest-asyncio", "tox"]
 
+[[package]]
+name = "pytest-timeout"
+version = "2.1.0"
+description = "pytest plugin to abort hanging tests"
+optional = false
+python-versions = ">=3.6"
+files = [
+    {file = "pytest-timeout-2.1.0.tar.gz", hash = "sha256:c07ca07404c612f8abbe22294b23c368e2e5104b521c1790195561f37e1ac3d9"},
+    {file = "pytest_timeout-2.1.0-py3-none-any.whl", hash = "sha256:f6f50101443ce70ad325ceb4473c4255e9d74e3c7cd0ef827309dfa4c0d975c6"},
+]
+
+[package.dependencies]
+pytest = ">=5.0.0"
+
 [[package]]
 name = "pytest-xdist"
 version = "3.3.1"
@@ -1061,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "6f83f7e557ad5dbf3cd8a869937b94d031abbd861a942395b7a2496a6b3853b3"
+content-hash = "40d0b64c7bf3d783bc279c3687ec66fb5d20ac9027d9ea974459d951d8394258"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index b411306ede..42fa0ca7ad 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.299"
+version = "1.0.300"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -33,6 +33,7 @@ isort = "*"
 mypy = "*"
 pep8-naming = "*"
 pytest = "*"
+pytest-timeout = "*"
 pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index 1e62ca7792..d8b57e1431 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.299'
+VERSION: Final = '1.0.300'
diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py
index 8f765d3397..7f36e0d87a 100644
--- a/kevm-pyk/src/tests/integration/test_prove.py
+++ b/kevm-pyk/src/tests/integration/test_prove.py
@@ -74,7 +74,6 @@ def exclude_list(exclude_file: Path) -> list[Path]:
 
 FAILING_PYK_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.pyk')
 FAILING_BOOSTER_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.haskell-booster')
-SLOW_TESTS: Final = exclude_list(TEST_DIR / 'slow.haskell')
 FAILING_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.haskell')
 
 
@@ -200,10 +199,6 @@ def _target_for_spec(spec_file: Path, use_booster: bool) -> Target:
 # ---------
 
 
-SKIPPED_PYK_TESTS: Final = set().union(SLOW_TESTS, FAILING_TESTS, FAILING_PYK_TESTS)
-SKIPPED_PYK_BOOSTER_TESTS: Final = set().union(SLOW_TESTS, FAILING_TESTS, FAILING_PYK_TESTS, FAILING_BOOSTER_TESTS)
-
-
 @pytest.mark.parametrize(
     'spec_file',
     ALL_TESTS,
@@ -219,7 +214,7 @@ def test_pyk_prove(
 ) -> None:
     caplog.set_level(logging.INFO)
 
-    if spec_file in SKIPPED_PYK_TESTS or (use_booster and spec_file in SKIPPED_PYK_BOOSTER_TESTS):
+    if (not use_booster and spec_file in FAILING_PYK_TESTS) or (use_booster and spec_file in FAILING_BOOSTER_TESTS):
         pytest.skip()
 
     # Given
@@ -252,9 +247,6 @@ def test_pyk_prove(
 # ------------
 
 
-SKIPPED_LEGACY_TESTS: Final = set().union(SLOW_TESTS, FAILING_TESTS)
-
-
 PROVE_ARGS: Final[dict[str, Any]] = {
     'functional/lemmas-no-smt-spec.k': {
         'haskell_args': ['--smt=none'],
@@ -267,7 +259,7 @@ def test_pyk_prove(
     FAILING_PYK_TESTS,
     ids=[str(spec_file.relative_to(SPEC_DIR)) for spec_file in FAILING_PYK_TESTS],
 )
-def test_legacy_prove(
+def test_kprove_prove(
     spec_file: Path,
     kompiled_target_for: Callable[[Path, bool], KompiledTarget],
     tmp_path: Path,
@@ -276,7 +268,7 @@ def test_legacy_prove(
 ) -> None:
     caplog.set_level(logging.INFO)
 
-    if spec_file in SKIPPED_LEGACY_TESTS:
+    if spec_file in FAILING_TESTS:
         pytest.skip()
 
     # Given
diff --git a/package/version b/package/version
index ea13f22270..f28324a86f 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.299
+1.0.300
diff --git a/tests/failing-symbolic.haskell b/tests/failing-symbolic.haskell
index 8818f62266..695cdb044d 100644
--- a/tests/failing-symbolic.haskell
+++ b/tests/failing-symbolic.haskell
@@ -1,7 +1,39 @@
+tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
 tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
 tests/specs/bihu/collectToken-spec.k
+tests/specs/erc20/ds/transfer-failure-1-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
+tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
+tests/specs/erc20/ds/transferFrom-success-1-spec.k
+tests/specs/erc20/ds/transferFrom-success-2-spec.k
+tests/specs/erc20/ds/transfer-success-1-spec.k
+tests/specs/erc20/hkg/transferFrom-success-1-spec.k
+tests/specs/examples/erc721-spec.md
+tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
+tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
+tests/specs/mcd/end-cash-pass-rough-spec.k
+tests/specs/mcd/end-pack-pass-rough-spec.k
 tests/specs/mcd/flapper-tend-guy-diff-pass-rough-spec.k
+tests/specs/mcd/flapper-yank-pass-rough-spec.k
+tests/specs/mcd/flipper-bids-pass-rough-spec.k
+tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
+tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
+tests/specs/mcd/flopper-file-pass-rough-spec.k
+tests/specs/mcd/flopper-kick-pass-rough-spec.k
+tests/specs/mcd/flopper-tick-pass-rough-spec.k
+tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
+tests/specs/mcd/pot-join-pass-rough-spec.k
+tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
+tests/specs/mcd/vat-fold-pass-rough-spec.k
+tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
 tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
+tests/specs/mcd/vat-slip-pass-rough-spec.k
 tests/specs/mcd/vow-cage-deficit-pass-rough-spec.k
 tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
-tests/specs/opcodes/create-spec.k
\ No newline at end of file
+tests/specs/opcodes/create-spec.k
diff --git a/tests/failing-symbolic.haskell-booster b/tests/failing-symbolic.haskell-booster
index ab5f9c494c..ad74273a6b 100644
--- a/tests/failing-symbolic.haskell-booster
+++ b/tests/failing-symbolic.haskell-booster
@@ -1,26 +1,91 @@
+tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
+tests/specs/benchmarks/functional-spec.k
 tests/specs/benchmarks/staticarray00-spec.k
 tests/specs/benchmarks/staticloop00-a0lt10-spec.k
 tests/specs/benchmarks/storagevar00-spec.k
 tests/specs/benchmarks/storagevar01-spec.k
 tests/specs/benchmarks/storagevar02-nooverflow-spec.k
 tests/specs/benchmarks/storagevar02-overflow-spec.k
+tests/specs/bihu/collectToken-spec.k
+tests/specs/bihu/forwardToHotWallet-failure-1-spec.k
+tests/specs/bihu/forwardToHotWallet-failure-3-spec.k
+tests/specs/bihu/forwardToHotWallet-failure-4-spec.k
+tests/specs/bihu/forwardToHotWallet-success-1-spec.k
+tests/specs/bihu/forwardToHotWallet-success-2-spec.k
 tests/specs/erc20/ds/allowance-spec.k
 tests/specs/erc20/ds/approve-failure-spec.k
 tests/specs/erc20/ds/approve-success-spec.k
 tests/specs/erc20/ds/balanceOf-spec.k
 tests/specs/erc20/ds/totalSupply-spec.k
 tests/specs/erc20/ds/transfer-failure-1-a-spec.k
+tests/specs/erc20/ds/transfer-failure-1-b-spec.k
 tests/specs/erc20/ds/transfer-failure-1-c-spec.k
 tests/specs/erc20/ds/transfer-failure-2-a-spec.k
 tests/specs/erc20/ds/transfer-failure-2-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k
+tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k
+tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k
+tests/specs/erc20/ds/transferFrom-success-1-spec.k
+tests/specs/erc20/ds/transferFrom-success-2-spec.k
+tests/specs/erc20/ds/transfer-success-1-spec.k
 tests/specs/erc20/ds/transfer-success-2-spec.k
 tests/specs/erc20/hkg/allowance-spec.k
+tests/specs/erc20/hkg/approve-spec.k
 tests/specs/erc20/hkg/balanceOf-spec.k
 tests/specs/erc20/hkg/totalSupply-spec.k
 tests/specs/erc20/hkg/transfer-failure-1-spec.k
 tests/specs/erc20/hkg/transfer-failure-2-spec.k
+tests/specs/erc20/hkg/transferFrom-failure-1-spec.k
+tests/specs/erc20/hkg/transferFrom-failure-2-spec.k
+tests/specs/erc20/hkg/transferFrom-success-1-spec.k
+tests/specs/erc20/hkg/transferFrom-success-2-spec.k
+tests/specs/erc20/hkg/transfer-success-1-spec.k
+tests/specs/erc20/hkg/transfer-success-2-spec.k
+tests/specs/examples/erc721-spec.md
+tests/specs/examples/sum-to-n-foundry-spec.k
+tests/specs/examples/sum-to-n-spec.k
 tests/specs/functional/infinite-gas-spec.k
+tests/specs/functional/int-simplifications-spec.k
+tests/specs/functional/lemmas-no-smt-spec.k
+tests/specs/functional/lemmas-spec.k
+tests/specs/functional/merkle-spec.k
+tests/specs/functional/storageRoot-spec.k
+tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
+tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
+tests/specs/mcd/end-cash-pass-rough-spec.k
+tests/specs/mcd/end-pack-pass-rough-spec.k
+tests/specs/mcd/flapper-tend-guy-diff-pass-rough-spec.k
+tests/specs/mcd/flapper-yank-pass-rough-spec.k
 tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
+tests/specs/mcd/flipper-bids-pass-rough-spec.k
 tests/specs/mcd/flipper-tau-pass-spec.k
 tests/specs/mcd/flipper-ttl-pass-spec.k
 tests/specs/mcd/flopper-cage-pass-spec.k
+tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
+tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
+tests/specs/mcd/flopper-file-pass-rough-spec.k
+tests/specs/mcd/flopper-kick-pass-rough-spec.k
+tests/specs/mcd/flopper-tick-pass-rough-spec.k
+tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
+tests/specs/mcd/pot-join-pass-rough-spec.k
+tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
+tests/specs/mcd/vat-fold-pass-rough-spec.k
+tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
+tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
+tests/specs/mcd/vat-move-diff-rough-spec.k
+tests/specs/mcd/vat-slip-pass-rough-spec.k
+tests/specs/mcd/vow-cage-deficit-pass-rough-spec.k
+tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
+tests/specs/mcd/vow-fess-fail-rough-spec.k
+tests/specs/mcd/vow-flog-fail-rough-spec.k
+tests/specs/opcodes/create-spec.k
+tests/specs/opcodes/evm-optimizations-spec.md
diff --git a/tests/failing-symbolic.haskell-dry-run b/tests/failing-symbolic.haskell-dry-run
deleted file mode 100644
index 8b13789179..0000000000
--- a/tests/failing-symbolic.haskell-dry-run
+++ /dev/null
@@ -1 +0,0 @@
-
diff --git a/tests/failing-symbolic.pyk b/tests/failing-symbolic.pyk
index ff9eb0e291..f049eedfd9 100644
--- a/tests/failing-symbolic.pyk
+++ b/tests/failing-symbolic.pyk
@@ -1,26 +1,65 @@
+tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
+tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
 tests/specs/benchmarks/functional-spec.k
+tests/specs/bihu/collectToken-spec.k
 tests/specs/bihu/forwardToHotWallet-failure-1-spec.k
 tests/specs/bihu/forwardToHotWallet-failure-3-spec.k
 tests/specs/bihu/forwardToHotWallet-failure-4-spec.k
 tests/specs/bihu/forwardToHotWallet-success-1-spec.k
 tests/specs/bihu/forwardToHotWallet-success-2-spec.k
+tests/specs/erc20/ds/transfer-failure-1-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
+tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
 tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k
 tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k
+tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
 tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k
+tests/specs/erc20/ds/transferFrom-success-1-spec.k
+tests/specs/erc20/ds/transferFrom-success-2-spec.k
+tests/specs/erc20/ds/transfer-success-1-spec.k
 tests/specs/erc20/hkg/approve-spec.k
 tests/specs/erc20/hkg/transferFrom-failure-1-spec.k
 tests/specs/erc20/hkg/transferFrom-failure-2-spec.k
+tests/specs/erc20/hkg/transferFrom-success-1-spec.k
 tests/specs/erc20/hkg/transferFrom-success-2-spec.k
 tests/specs/erc20/hkg/transfer-success-1-spec.k
 tests/specs/erc20/hkg/transfer-success-2-spec.k
-tests/specs/examples/sum-to-n-spec.k
+tests/specs/examples/erc721-spec.md
 tests/specs/examples/sum-to-n-foundry-spec.k
+tests/specs/examples/sum-to-n-spec.k
 tests/specs/functional/int-simplifications-spec.k
 tests/specs/functional/lemmas-no-smt-spec.k
 tests/specs/functional/lemmas-spec.k
 tests/specs/functional/merkle-spec.k
 tests/specs/functional/storageRoot-spec.k
+tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
+tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
+tests/specs/mcd/end-cash-pass-rough-spec.k
+tests/specs/mcd/end-pack-pass-rough-spec.k
+tests/specs/mcd/flapper-tend-guy-diff-pass-rough-spec.k
+tests/specs/mcd/flapper-yank-pass-rough-spec.k
+tests/specs/mcd/flipper-bids-pass-rough-spec.k
+tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
+tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
+tests/specs/mcd/flopper-file-pass-rough-spec.k
+tests/specs/mcd/flopper-kick-pass-rough-spec.k
+tests/specs/mcd/flopper-tick-pass-rough-spec.k
+tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
+tests/specs/mcd/pot-join-pass-rough-spec.k
+tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
+tests/specs/mcd/vat-fold-pass-rough-spec.k
+tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
+tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k
 tests/specs/mcd/vat-move-diff-rough-spec.k
+tests/specs/mcd/vat-slip-pass-rough-spec.k
+tests/specs/mcd/vow-cage-deficit-pass-rough-spec.k
+tests/specs/mcd/vow-cage-surplus-pass-rough-spec.k
 tests/specs/mcd/vow-fess-fail-rough-spec.k
 tests/specs/mcd/vow-flog-fail-rough-spec.k
+tests/specs/opcodes/create-spec.k
 tests/specs/opcodes/evm-optimizations-spec.md
diff --git a/tests/failing.haskell b/tests/failing.haskell
deleted file mode 100644
index 2c9a84ce29..0000000000
--- a/tests/failing.haskell
+++ /dev/null
@@ -1,2 +0,0 @@
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/suicide0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/suicideSendEtherToMe.json
diff --git a/tests/slow.haskell b/tests/slow.haskell
deleted file mode 100644
index a55082bfd3..0000000000
--- a/tests/slow.haskell
+++ /dev/null
@@ -1,368 +0,0 @@
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/add3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/add4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod1_overflow2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod1_overflow3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod1_overflow4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod1_overflowDiff.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod2_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod2_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod3_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmod3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/addmodDivByZero3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/arith1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/div1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/divByNonZero0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/divByNonZero1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/divByZero_2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_128.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_256.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_32.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_11.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_12.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_13.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_14.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_15.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_17.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_18.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_19.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_20.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_21.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_22.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_23.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_24.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_25.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_26.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_27.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_28.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_29.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_30.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_32.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_33.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256_9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_11.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_12.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_13.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_14.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_15.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_17.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_18.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_19.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_20.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_21.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_22.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_23.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_24.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_25.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_26.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_27.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_28.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_29.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_30.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_32.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_33.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf256Of256_9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_64.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expPowerOf2_8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expXY.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/expXY_success.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/fibbonacci_unrolled.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mod4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/modByZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mul5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mul7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod1_overflow4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod1_overflow.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod2_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod2_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod3_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmod4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmoddivByZero2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/mulmoddivByZero3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/not1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdivByZero0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdivByZero1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdivByZero2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv_dejavu.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv_i256min2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv_i256min3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/sdiv_i256min.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/signextend_BigByteBigByte.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/signextend_Overflow_dj42.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod8_byZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod_i256min1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmArithmeticTest/smod_i256min2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byte9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/byteBN.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/eq0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/gt0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/lt0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/lt1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/sgt0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/sgt1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/sgt4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/slt0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/slt1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/slt3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/slt4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmBitwiseLogicOperation/xor0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy0_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy1_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy2_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy_DataIndexTooHigh2_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy_DataIndexTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy_DataIndexTooHigh_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopy_sec.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopyZeroMemExpansion.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/calldatacopyZeroMemExpansion_return.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/codecopy0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmEnvironmentalInfo/codecopyZeroMemExpansion.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/BlockNumberDynamicJump0_foreverOutOfGas.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/BlockNumberDynamicJump0_jumpdest0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/BlockNumberDynamicJump0_jumpdest2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/BlockNumberDynamicJumpi1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/BlockNumberDynamicJumpiAfterStop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/byte1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/deadCode_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump0_foreverOutOfGas.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump0_jumpdest0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump0_jumpdest2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpAfterStop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpi1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpiAfterStop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpJD_DependsOnJumps1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpPathologicalTest0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJumpStartWithJumpDest.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump_value1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump_value2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump_value3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/DynamicJump_valueUnderflow.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/for_loop1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/for_loop2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/gas0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/gasOverFlow.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/indirect_jump1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/indirect_jump2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/indirect_jump3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/indirect_jump4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/JDfromStorageDynamicJump0_foreverOutOfGas.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/JDfromStorageDynamicJump0_jumpdest0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/JDfromStorageDynamicJump0_jumpdest2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/JDfromStorageDynamicJumpi1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/JDfromStorageDynamicJumpiAfterStop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jump0_foreverOutOfGas.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jump0_jumpdest0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jump0_jumpdest2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jumpdestBigList.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jumpDynamicJumpSameDest.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jumpi1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jumpiAfterStop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/jumpi_at_the_end.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/kv1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/loop_stacklimit_1020.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/loop_stacklimit_1021.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/memory1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mloadError1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/msize0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/msize2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/msize3.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore8_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore8_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore8WordToBigError.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstore_mload0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/mstoreWordToBigError.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/pop0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/return2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/sstore_load_0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/sstore_load_1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/sstore_load_2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/stackjump1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/stack_loop.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmIOandFlowOperations/when.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log0_emptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log0_logMemsizeZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log0_nonEmptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log0_nonEmptyMem_logMemSize1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log0_nonEmptyMem_logMemSize1_logMemStart31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_Caller.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_emptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_logMemsizeZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_MaxTopic.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_nonEmptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_nonEmptyMem_logMemSize1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log1_nonEmptyMem_logMemSize1_logMemStart31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_Caller.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_emptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_logMemsizeTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_logMemsizeZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log_2logs.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_MaxTopic.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_nonEmptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_nonEmptyMem_logMemSize1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log2_nonEmptyMem_logMemSize1_logMemStart31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_Caller.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_emptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_logMemsizeTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_logMemsizeZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_logMemStartTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_MaxTopic.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_nonEmptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_nonEmptyMem_logMemSize1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_nonEmptyMem_logMemSize1_logMemStart31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log3_PC.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_Caller.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_emptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_logMemsizeTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_logMemsizeZero.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_logMemStartTooHigh.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_MaxTopic.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_nonEmptyMem.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_nonEmptyMem_logMemSize1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_nonEmptyMem_logMemSize1_logMemStart31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmLogTest/log4_PC.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/ackermann31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/ackermann32.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/ackermann33.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/fibonacci10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/fibonacci16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-add-10M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-divadd-10M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-divadd-unr100-10M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-16b-100k.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-1b-1M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-2b-100k.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-32b-100k.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-4b-100k.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-8b-100k.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-exp-nop-1M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-mul.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/loop-mulmod-2M.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPerformance/manyFunctions100.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup11.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup12.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup13.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup14.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup15.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/dup9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/push33.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap10.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap11.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap12.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap13.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap14.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap15.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap16.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap4.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap5.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap6.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap7.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap8.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swap9.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmPushDupSwapTest/swapjump1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSha3Test/sha3_memSizeNoQuadraticCost31.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/return0.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/return1.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/return2.json
-tests/ethereum-tests/LegacyTests/Constantinople/VMTests/vmSystemOperations/TestNameRegistrator.json
-tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k
-tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k
-tests/specs/erc20/ds/transfer-failure-1-b-spec.k
-tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k
-tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k
-tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k
-tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k
-tests/specs/erc20/ds/transferFrom-success-1-spec.k
-tests/specs/erc20/ds/transferFrom-success-2-spec.k
-tests/specs/erc20/ds/transfer-success-1-spec.k
-tests/specs/erc20/hkg/transferFrom-success-1-spec.k
-tests/specs/examples/erc721-spec.md
-tests/specs/mcd/dstoken-burn-self-fail-rough-spec.k
-tests/specs/mcd/dstoken-transferfrom-fail-rough-spec.k
-tests/specs/mcd/end-cash-pass-rough-spec.k
-tests/specs/mcd/end-pack-pass-rough-spec.k
-tests/specs/mcd/flapper-yank-pass-rough-spec.k
-tests/specs/mcd/flipper-bids-pass-rough-spec.k
-tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
-tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
-tests/specs/mcd/flopper-file-pass-rough-spec.k
-tests/specs/mcd/flopper-kick-pass-rough-spec.k
-tests/specs/mcd/flopper-tick-pass-rough-spec.k
-tests/specs/mcd/gemjoin-exit-pass-rough-spec.k
-tests/specs/mcd/pot-join-pass-rough-spec.k
-tests/specs/mcd/vat-flux-diff-pass-rough-spec.k
-tests/specs/mcd/vat-fold-pass-rough-spec.k
-tests/specs/mcd/vat-fork-diff-pass-rough-spec.k
-tests/specs/mcd/vat-slip-pass-rough-spec.k