Fix diverging test specification - Githubissues

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 8 forks source link

Fix diverging test specification #333

Closed tothtamas28 closed 2 years ago

tothtamas28 commented 2 years ago

This PR does two things:

Fixes tests/proofs/sum-to-n.k so that it converges to a proof.
Adds alternative implementations of the sum-to-n spec (both .tzt and .k).