Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  def +(other: String): String

   Implicit

   This member is added by an implicit conversion from VeriTTestCase to any2stringadd[VeriTTestCase] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4.  def ->[B](y: B): (VeriTTestCase, B)

   Implicit

   This member is added by an implicit conversion from VeriTTestCase to ArrowAssoc[VeriTTestCase] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

5.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

8.  def ensuring(cond: (VeriTTestCase) ⇒ Boolean, msg: ⇒ Any): VeriTTestCase

   Implicit

   This member is added by an implicit conversion from VeriTTestCase to Ensuring[VeriTTestCase] performed by method Ensuring in scala.Predef.

   Definition Classes

   Ensuring

9.  def ensuring(cond: (VeriTTestCase) ⇒ Boolean): VeriTTestCase

   Implicit

   This member is added by an implicit conversion from VeriTTestCase to Ensuring[VeriTTestCase] performed by method Ensuring in scala.Predef.

   Definition Classes

   Ensuring

10.  def ensuring(cond: Boolean, msg: ⇒ Any): VeriTTestCase

    Implicit

    This member is added by an implicit conversion from VeriTTestCase to Ensuring[VeriTTestCase] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

11.  def ensuring(cond: Boolean): VeriTTestCase

    Implicit

    This member is added by an implicit conversion from VeriTTestCase to Ensuring[VeriTTestCase] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

13.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

15.  def formatted(fmtstr: String): String

    Implicit

    This member is added by an implicit conversion from VeriTTestCase to StringFormat[VeriTTestCase] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

16.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

17.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19.  val name: String

    Definition Classes

    RegressionTestCase

20.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

21.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

22.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

23.  def run(): TestRun

    Run this test case (in the same process).

    Run this test case (in the same process).

    returns

    Results of the test run.

    Definition Classes

    RegressionTestCase

24.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

25.  def test(implicit testRun: TestRun): Unit

    Perform the actual testing; to be implemented by subclasses.

    Perform the actual testing; to be implemented by subclasses.

    The results of this test run--how long it took, what steps have succeeded, whether an exception has been thrown--is saved in testRun. More fine-grained reporting can be enabled by using the operators StepBlock.---, StepBlock.--?, and StepCondition.!--.

    The parameter testRun is implicit so that these operators can be used as binary operators without explicitly specifying the testRun.

    testRun

    Saves the results of this test run.

    Definition Classes

    VeriTTestCase → RegressionTestCase

26.  def timeout: Option[Duration]

    Definition Classes

    RegressionTestCase

27.  def toString(): String

    Definition Classes

    RegressionTestCase → AnyRef → Any

28.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

29.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

30.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

31.  def →[B](y: B): (VeriTTestCase, B)

    Implicit

    This member is added by an implicit conversion from VeriTTestCase to ArrowAssoc[VeriTTestCase] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc