Inherited from Serializable
Inherited from Product
Inherited from Equals
Inherited from NoStackTrace
Inherited from RuntimeException
Inherited from Exception
Inherited from Throwable
Inherited from Serializable
Inherited from AnyRef
Inherited from Any
Slightly fishy exception to represent any kind of exception from the prover.
There is no stack traces available, because instance are only created when the prover throws an exception.