Migrate converted test suite

runtimeverification / avm-semantics

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

15 stars 4 forks source link

Migrate converted test suite #180

Closed nwatson22 closed 1 year ago

nwatson22 commented 1 year ago

This PR migrates all of the former avm-scenario test scenarios to the new, more performant json format. This conversion was done mostly automatically as outlined in #178.