PropException
sealed case class PropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status
An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.
An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.