runtimeverification / kasmer-multiversx

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

Add `generate-claims.sh` #133

Closed tothtamas28 closed 3 months ago

tothtamas28 commented 3 months ago

Related:

Add: generate-claims.sh

Add submodules:

Add test contracts:

tothtamas28 commented 3 months ago

@bbyalcinkaya, thank you for the proposed fixes, I've applied them and now the test job is passing.