From 1434f07ac1ef7b467820ce6dac601bb445fd5c54 Mon Sep 17 00:00:00 2001 From: Raoul <1412344+RaoulSchaffranek@users.noreply.github.com> Date: Mon, 24 Jul 2023 20:04:10 +0200 Subject: [PATCH] Use a terminal-rule for `--break-every-step` (#1959) * Use a terminal-rule for --break-every-step * Set Version: 1.0.235 * Set Version: 1.0.236 * Set Version: 1.0.237 --------- Co-authored-by: devops Co-authored-by: rv-jenkins --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/utils.py | 2 +- package/debian/changelog | 2 +- package/version | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 408d3e3d18..11b728a207 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.236" +version = "1.0.237" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/utils.py b/kevm-pyk/src/kevm_pyk/utils.py index f538217085..8a6efac75b 100644 --- a/kevm-pyk/src/kevm_pyk/utils.py +++ b/kevm-pyk/src/kevm_pyk/utils.py @@ -94,7 +94,7 @@ def kevm_prove( terminal_rules = ['EVM.halt'] cut_point_rules = [] if break_every_step: - cut_point_rules.append('EVM.step') + terminal_rules.append('EVM.step') if break_on_jumpi: cut_point_rules.extend(['EVM.jumpi.true', 'EVM.jumpi.false']) if break_on_calls: diff --git a/package/debian/changelog b/package/debian/changelog index 02230425c2..4226a501fe 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kevm (1.0.236) unstable; urgency=medium +kevm (1.0.237) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index 91db6e1268..b0f2ad9feb 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.236 +1.0.237