Increase the number of tests run with the booster-dev (#2547)

* tests/failing-booster-dev: update failing list

* Set Version: 1.0.662

* Update tests/failing-symbolic.haskell-booster-dev

---------

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.661"
+version = "1.0.662"
 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.661'
+VERSION: Final = '1.0.662'

package/version

@@ -1 +1 @@
-1.0.661
+1.0.662

tests/failing-symbolic.haskell-booster-dev

@@ -21,7 +21,6 @@ tests/specs/benchmarks/staticarray00-spec.k
 tests/specs/benchmarks/staticloop00-a0lt10-spec.k
 tests/specs/benchmarks/storagevar00-spec.k
 tests/specs/benchmarks/storagevar02-nooverflow-spec.k
-tests/specs/benchmarks/storagevar02-overflow-spec.k
 tests/specs/benchmarks/structarg00-spec.k
 tests/specs/benchmarks/structarg01-spec.k
 tests/specs/erc20/ds/allowance-spec.k
@@ -100,7 +99,6 @@ tests/specs/mcd/end-cash-pass-rough-spec.k
 tests/specs/mcd/end-pack-pass-rough-spec.k
 tests/specs/mcd/end-subuu-pass-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