Merge remote-tracking branch 'origin/master' into expect-exception

runtimeverification · Jan 18, 2025 · 5c85aa1 · 5c85aa1
2 parents d1554d7 + 69cd899
commit 5c85aa1
Show file tree

Hide file tree

Showing 2 changed files with 128 additions and 156 deletions.
diff --git a/tests/ethereum-tests b/tests/ethereum-tests