object AssertionResult
- Companion:
- class
Type members
Classlikes
case class FailureDetailsResult(failureDetails: FailureDetails, genFailureDetails: Option[GenFailureDetails]) extends AssertionResult
case class TraceResult(trace: Trace[Boolean], genFailureDetails: Option[GenFailureDetails]) extends AssertionResult