Exhausted
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any