runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
10 stars 6 forks source link

Update dependency: deps/wasm-semantics #115

Closed rv-jenkins closed 4 years ago

hjorthjort commented 4 years ago

For some reason, no X_coverage.txt is being generated when calling pyk.krunJSON in pykWasm.py, even after building with a --coverage flag.