From ce8444a1c63636e0d165749bd5719309cb52277f Mon Sep 17 00:00:00 2001 From: Scott Guest Date: Wed, 8 Nov 2023 10:25:41 +0200 Subject: [PATCH] Correctly strip `-spec.k` from the bug report name in `prove_legacy` (#2159) * Use removesuffix rather than rstrip to remove -spec.k from spec file name * Set Version: 1.0.339 * Set Version: 1.0.341 --------- Co-authored-by: devops --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- kevm-pyk/src/kevm_pyk/kevm.py | 2 +- package/version | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index b0614ac85f..f42f9f8b56 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.340" +version = "1.0.341" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 614db0290b..3e78dd05e0 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.340' +VERSION: Final = '1.0.341' diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py index 9eee497657..a3122cc4d9 100644 --- a/kevm-pyk/src/kevm_pyk/kevm.py +++ b/kevm-pyk/src/kevm_pyk/kevm.py @@ -470,7 +470,7 @@ def prove_legacy( if max_counterexamples: haskell_args += ['--max-counterexamples', f'{max_counterexamples}'] if bug_report: - haskell_args += ['--bug-report', f'kevm-bug-{spec_file.name.rstrip("-spec.k")}'] + haskell_args += ['--bug-report', f'kevm-bug-{spec_file.name.removesuffix("-spec.k")}'] if haskell_backend_args: haskell_args += list(haskell_backend_args) diff --git a/package/version b/package/version index e333f82c50..685074f3de 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.340 +1.0.341