Failed

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

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