search

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 #149

Closed rv-jenkins closed 2 months ago

rv-jenkins commented 3 months ago

~Blocked on:~

tothtamas28 commented 3 months ago

Caching the Poetry cache doesn't seem to work well:

tothtamas28 commented 2 months ago

Claim generation fails at krun: https://github.com/runtimeverification/mx-backend/actions/runs/9423105641/job/25961338505?pr=149#step:7:2214

Contents of the K cell:

#wait
~> checkExpectStatus ( OK )
~> setExitCode 0

Where #wait is #wait_MANDOS_Step.

@bbyalcinkaya, @virgil-serbanuta, do you have an idea what might go wrong here?

bbyalcinkaya commented 2 months ago

@tothtamas28

This is related to the multicontract issue (#128 ). The test contract is being called with multisig-view.wasm instead of multisig.wasm. I can start implementing what I proposed in the issue if you don't have a better idea.

{
  "contract_paths": [
    // single contract -- should fail if more than one *.wasm file exist
    "mx-sdk-rs/contracts/examples/adder",

    // multi-contract
    {
      "dir": "mx-sdk-rs/contracts/examples/multisig",
      "name": "multisig-full" // fetch '...multisig/output/multisig-full.wasm'
    }
  ]
}
tothtamas28 commented 2 months ago

@bbyalcinkaya, @virgil-serbanuta, build is passing now, ready for review.