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

PLT-3325: Property-based test for assets preservation #178

Closed yveshauser closed 1 year ago

yveshauser commented 1 year ago

Closing this PR for now