IgnoredException
final class IgnoredException(val reason: Option[String], val location: Option[SourceLocation]) extends VerifyException
class VerifyException
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any