From a7d6fd7d60badcf58e754a5469470b21cb870781 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Fri, 10 Nov 2023 14:42:00 -0700 Subject: [PATCH] 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 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- tests/failing-symbolic.pyk | 9 +++++++++ 4 files changed, 12 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 16b600ecea..7f9fbbc897 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.352" +version = "1.0.353" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index eb736c61b9..b05d4a8af9 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.352' +VERSION: Final = '1.0.353' diff --git a/package/version b/package/version index 514ec94200..e7dc85f0f0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.352 +1.0.353 diff --git a/tests/failing-symbolic.pyk b/tests/failing-symbolic.pyk index 2917d0a91c..49ef633baf 100644 --- a/tests/failing-symbolic.pyk +++ b/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