Generic multisig 2 - Githubissues

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 6 forks source link

Closed nishantjr closed 3 years ago

nishantjr commented 3 years ago

Fixes: runtimeverification/firefly-michelson#17

ehildenb commented 3 years ago

tests/specs/multisig-spec.k.prove: KPROVE_OPTIONS+=--z3-timeout 40

nishantjr commented 3 years ago

This is ready to merge, though I'm not happy with this commit. b21a43489e9c1e1437652a638b8e2be603bd91e7

@sskeirik @ehildenb