Update failing proof lists (#2431)

* tests/failing-symbolic.haskell-booster: enable more tests

* tests/failing-symbolic.haskell-booster: add back failing tests

* tests/failing-symbolic.haskell-booster: add back long-running proof

* tests/failing-symbolic: disable tests running and passing on booster

* Set Version: 1.0.559

---------

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

Author: ehildenb

kevm-pyk/pyproject.toml

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

kevm-pyk/src/kevm_pyk/__init__.py

@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.558'
+VERSION: Final = '1.0.559'

package/version

@@ -1 +1 @@
-1.0.558
+1.0.559

tests/failing-symbolic.haskell

@@ -70,6 +70,7 @@ tests/specs/examples/solidity-code-spec.md
 tests/specs/examples/storage-spec.md
 tests/specs/functional/evm-int-simplifications-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
@@ -142,4 +143,6 @@ tests/specs/mcd/vat-subui-pass-rough-spec.k
 tests/specs/mcd/vat-subui-pass-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/failing-symbolic.haskell-booster

@@ -1,40 +1,22 @@
-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/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/kontrol/test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-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/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-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/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

tests/failing-symbolic.pyk

@@ -1,3 +1,4 @@
+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
@@ -15,6 +16,7 @@ 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
+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