Merge branch 'master' into pi2/robertorosmaninho/eip-4844-blobhash-op…

…code
runtimeverification · Jan 28, 2025 · 6a2cf02 · 6a2cf02
2 parents b6bb2b6 + e3b99f0
commit 6a2cf02
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
@@ -462,7 +462,6 @@ The `"rlp"` key loads the block information.
          <message>
            <msgID>             TXID </msgID>
            <txNonce>           TN   </txNonce>
-           <txGasPrice>        TP   </txGasPrice>
            <txGasLimit>        TG   </txGasLimit>
            <to>                TT   </to>
            <value>             TV   </value>

diff --git a/kevm-pyk/src/tests/integration/test_conformance.py b/kevm-pyk/src/tests/integration/test_conformance.py
@@ -62,12 +62,13 @@ def _test(gst_file: Path, *, schedule: str, mode: str, usegas: bool, save_failin
     if not failing_tests:
         return
     if save_failing:
-        with FAILING_TESTS_FILE.open('a') as ff:
+        with FAILING_TESTS_FILE.open('a', newline='') as ff:
+            writer = csv.writer(ff)
             if len(failing_tests) == len(gst_data):
-                ff.write(f'{gst_file_relative_path},*\n')
+                writer.writerow([gst_file_relative_path, '*'])
             else:
                 for test_name in sorted(failing_tests):
-                    ff.write(f'{gst_file_relative_path},{test_name}\n')
+                    writer.writerow([gst_file_relative_path, test_name])
     raise AssertionError(f'Found failing tests in GST file {gst_file_relative_path}: {failing_tests}')