From 1f6aeb5583b91e95c5f83eabf9c509b9c6403a11 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Tue, 21 May 2024 19:07:26 +0200 Subject: [PATCH 1/2] Increase SMT timeout in integration tests --- kevm-pyk/src/tests/integration/test_prove.py | 1 + 1 file changed, 1 insertion(+) diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py index a31294d4f6..84001dc9d4 100644 --- a/kevm-pyk/src/tests/integration/test_prove.py +++ b/kevm-pyk/src/tests/integration/test_prove.py @@ -275,6 +275,7 @@ def test_pyk_prove( 'use_booster': use_booster, 'bug_report': bug_report, 'break_on_calls': break_on_calls, + 'smt_timeout': 1000, } ) exec_prove(options=options) From 0ec6254039c090808d268040c77c410043df82ea Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 20:06:26 +0000 Subject: [PATCH 2/2] Set Version: 1.0.567 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 95d0822c93..4a93898538 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.566" +version = "1.0.567" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index fa06354ccd..36967af5fa 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.566' +VERSION: Final = '1.0.567' diff --git a/package/version b/package/version index ac3806386d..f3e19e0599 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.566 +1.0.567