fix bug in computation of miner balance after tx if miner == sender (#…

…2306) * fix bug in computation of miner balance after tx if miner == sender * remove failing tests * Set Version: 1.0.459 * Set Version: 1.0.460 * Set Version: 1.0.461 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Feb 22, 2024 · f0a032b · f0a032b
1 parent edbcb5e
commit f0a032b
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 6 deletions.
diff --git 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.460"
+version = "1.0.461"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git 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.460'
+VERSION: Final = '1.0.461'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -602,7 +602,7 @@ After executing a transaction, it's necessary to have the effect of the substate
          <refund> 0 </refund>
          <account>
            <acctID> ACCT </acctID>
-           <balance> BAL => BAL +Int GLIMIT *Int (GPRICE -Int BFEE) </balance>
+           <balance> BAL => BAL +Int GLIMIT *Int GPRICE -Int (GLIMIT -Int GAVAIL) *Int BFEE </balance>
            ...
          </account>
          <txPending> ListItem(MsgId:Int) REST => REST </txPending>

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.460
+1.0.461
diff --git a/tests/failing.llvm b/tests/failing.llvm
@@ -1,3 +1 @@
 tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCreate2/CREATE2_HighNonceDelegatecall.json
-tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/delegatecall09Undefined.json
-tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/touchAndGo.json
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,4 +6,4 @@
		from typing import Final


		VERSION: Final = '1.0.460'
		VERSION: Final = '1.0.461'