Fix KEVM script by calling the new Makefile target

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

BSD 3-Clause "New" or "Revised" License

208 stars 41 forks source link

Closed geo2a closed 3 months ago

geo2a commented 3 months ago

https://github.com/runtimeverification/evm-semantics/pull/2504 has renamed the test-prove-pyk Makefile target to test-prove-rules. This PR now runs this target when evaluating KEVM performance.