Failed

sealed case class Failed(args: List[Arg[Any]], labels: Set[String]) extends Status

The property was proved wrong with the given concrete arguments.

The property was proved wrong with the given concrete arguments.

trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product