runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Use Wasm path directly in `kasmerx.json` #150

Closed bbyalcinkaya closed 2 months ago

bbyalcinkaya commented 2 months ago
contract_dir = wasm_path.parent.parent

Run ./generate-claims.sh to test