: Template t => ContractId t -> ACSBuilder
Include the given contract in the ‘ACS’. Note that the
ContractIdmust point to an active contract.
Execute a trigger’s rule once in a scenario.
: (Template t, CanAbort m) => [Command] -> (t -> Either Text ()) -> m ()
Check that at least one command is a create command whose payload fulfills the given assertions.
: (Template t, Choice t c r, CanAbort m) => [Command] -> ((ContractId t, c) -> Either Text ()) -> m ()
Check that at least one command is an exercise command whose contract id and choice argument fulfill the given assertions.