runtimeverification / kasmer-multiversx

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

Update dependency: deps/mx-semantics_release #171

Closed rv-jenkins closed 1 month ago

jberthold commented 1 month ago

The contract data in kmxwasm/src/test/integration/data has to be updated. Going to push an update from my local state.