OpenZeppelin/daml-props: daml/DamlProps/Examples/Amulet/Properties.daml

Daml contract source - OpenZeppelin/daml-props/daml/DamlProps/Examples/Amulet/Properties.daml ```daml -- | Property-based tests for the amulet model. -- Demonstrates AUDIT3 H2 bug detection: zero-input featured-app transfers -- mint reward coupons without burning any amulet. module DamlProps.Example