docs/net.corda.testing.dsl/Verifies/fails with

fails with

open infix fun fails with(msg: String): EnforceVerifyOrFail

See also