issues
search
input-output-hk
/
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Apache License 2.0
172
stars
43
forks
source link
SCP-4908: Add the Escrow to the examples suite
#163
Closed
yveshauser
closed
1 year ago
yveshauser
commented
1 year ago
This PR adds
the Escrow example to Isabelle
and the generated specification
Unit tests for all possible outcomes of the contract to the test-spec
This PR adds