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.
Check that at least one command is a create command whose payload fulfills the given assertions.
Check that at least one command is an exercise command whose contract id and choice argument fulfill the given assertions.