search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 8 forks source link

add tezos-utils to kmichelson #332

Closed sskeirik closed 2 years ago

ehildenb commented 2 years ago

@sskeirik looks good, please add a runner in kmich for it. Something like kmich cfg CONTRACT_NAME to generate the cfg for that contract.

ehildenb commented 2 years ago

Also please make sure the given tests are run on CI and output is compared somehow, or at least check that the tool runs without crashing on those inputs.

sskeirik commented 2 years ago

@ehildenb So, I updated the tests to use Makefile and kmich script directly. The new tests have passed on the current CI, so I think this is ready for re-review.