Code

Add support for state tests#2746

Code

Draft

anvacaru wants to merge 5 commits intomasterruntimeverification/evm-semantics:masterfrom

state-testsruntimeverification/evm-semantics:state-testsCopy head branch name to clipboard

Commits

Commits on Apr 22, 2025

• add support for state-tests format

  anvacaru

  committed
  82b2ddd

  Copy full SHA for 82b2ddd

• update execution-sepc-tests/failing.llvm

  anvacaru

  committed
  e5677e0

  Copy full SHA for e5677e0

Commits on Apr 23, 2025

• more tweaks; save wip

  anvacaru

  committed
  832d4c5

  Copy full SHA for 832d4c5

• remove debug statement

  anvacaru

  committed
  ae0c8d3

  Copy full SHA for ae0c8d3

• fix typos

  anvacaru

  committed
  be9b1bd

  Copy full SHA for be9b1bd