search

runtimeverification / mx-semantics

6 stars 1 forks source link

Add dummy state for `newWasmInstance` cut point rule #262

Closed bbyalcinkaya closed 1 month ago