OpenZeppelin/canton-stablecoin: stablecoin-test/daml/Stablecoin/Test/VaultProperties.daml

Daml contract source - OpenZeppelin/canton-stablecoin/stablecoin-test/daml/Stablecoin/Test/VaultProperties.daml ```daml -- | Property-based tests for the vault state-machine model. -- Each test_ function is discovered by dpm test. module Stablecoin.Test.VaultProperties where import Daml.Script impor