Closed tothtamas28 closed 3 months ago
Related:
Adds command kasmerx verify:
kasmerx verify
kasmerx.json
kmxwasm.property
To try it out:
runtimeverification/mx-semantics
<path-to-mx-semantics>/tests/contracts/foundrylike/kasmerx.json
{ "contract_paths": [ "../../../deps/mx-sdk-rs/contracts/examples/adder" ] }
make build-kasmer
poetry -C kmxwasm run -- kasmerx -C <path-to-mx-semantics>/tests/contracts/foundrylike build
poetry -C kmxwasm run -- kasmerx -C <path-to-mx-semantics>/tests/contracts/foundrylike verify test_call_add --booster
Related:
122
Adds command
kasmerx verify
:kasmerx.json
file from test directorykmxwasm.property
To try it out:
runtimeverification/mx-semantics
<path-to-mx-semantics>/tests/contracts/foundrylike/kasmerx.json
:make build-kasmer
poetry -C kmxwasm run -- kasmerx -C <path-to-mx-semantics>/tests/contracts/foundrylike build