Remove long-running tests on pyk prover also run with booster (#2165)

* tests/failing-symbolic.pyk: remove long-running tests also run with booster

* Set Version: 1.0.343

* Set Version: 1.0.352

* Set Version: 1.0.353

---------

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

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.352"
+version = "1.0.353"
 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.352'
+VERSION: Final = '1.0.353'

package/version

@@ -1 +1 @@
-1.0.352
+1.0.353

tests/failing-symbolic.pyk

@@ -5,8 +5,13 @@ 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/erc20/ds/transfer-failure-1-b-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-success-1-spec.k
+tests/specs/erc20/ds/transferFrom-success-2-spec.k
+tests/specs/erc20/ds/transfer-success-1-spec.k
+tests/specs/examples/erc20-spec.md
 tests/specs/examples/erc721-spec.md
 tests/specs/examples/sum-to-n-foundry-spec.k
 tests/specs/examples/sum-to-n-spec.k
@@ -21,17 +26,21 @@ 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/functional-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