From bd4e443f80d827355236fb2cd4d3a4aaec75d075 Mon Sep 17 00:00:00 2001 From: Noah Watson <107630091+nwatson22@users.noreply.github.com> Date: Wed, 10 Jul 2024 22:54:58 -0500 Subject: [PATCH] Fix indexed reference to nonce cell (#2523) * Fix indexed reference to nonce cell * Set Version: 1.0.639 --------- 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 cb76512d04..c0242d1d6d 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.638" +version = "1.0.639" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index c5b99ffcf9..50c1b58907 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.638' +VERSION: Final = '1.0.639' diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py index 3808f76165..38ceccba6c 100644 --- a/kevm-pyk/src/kevm_pyk/kevm.py +++ b/kevm-pyk/src/kevm_pyk/kevm.py @@ -312,7 +312,7 @@ def short_info(self, cterm: CTerm) -> list[str]: def add_invariant(cterm: CTerm) -> CTerm: def _add_account_invariant(account: KApply) -> list[KApply]: _account_constraints = [] - acct_id, balance, nonce = account.args[0], account.args[1], account.args[5] + acct_id, balance, nonce = account.args[0], account.args[1], account.args[6] if type(acct_id) is KApply and type(acct_id.args[0]) is KVariable: _account_constraints.append(mlEqualsTrue(KEVM.range_address(acct_id.args[0]))) diff --git a/package/version b/package/version index b67ec3d7a3..b7695252d9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.638 +1.0.639