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

Test contracts for int64 #170

Open virgil-serbanuta opened 2 months ago

virgil-serbanuta commented 2 months ago 
pushd tests/contracts/adder-int-64
sc-meta all build
popd

pushd tests/contracts/test-adder-int-64
sc-meta all build
popd

cd kmxwasm
poetry install
poetry run kdist build mx-semantics.llvm-kasmer
poetry run kasmer -C ../tests/contracts/test-adder-int-64/ build
poetry run kasmer -C ../tests/contracts/test-adder-int-64/ verify test_call_add