From 394c1ec4742ca6b62606a614a6915a5485601fa3 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Thu, 1 Aug 2024 15:24:23 -0600 Subject: [PATCH] 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 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- tests/failing-symbolic.haskell-booster-dev | 2 -- 4 files changed, 3 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index fe2968c4af..3459065282 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.661" +version = "1.0.662" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 0d8b6b24e1..ddb1d1f4b1 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/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' diff --git a/package/version b/package/version index 37b3bf516a..a1d9e99698 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.661 +1.0.662 diff --git a/tests/failing-symbolic.haskell-booster-dev b/tests/failing-symbolic.haskell-booster-dev index 29a0a0fbcd..5783a2eaf6 100644 --- a/tests/failing-symbolic.haskell-booster-dev +++ b/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