docs/net.corda.testing.dsl/TestTransactionDSLInterpreter/verifies

verifies

open override fun verifies(): EnforceVerifyOrFail

Verifies the ledger/transaction, throws if the verification fails.