sealed case classPropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status with Product with Serializable
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.
Linear Supertypes
Serializable, Serializable, Product, Equals, Status, AnyRef, Any
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.