FormalTest

Value parameters

module

The module to be marked.

name

Optional name for the test. Uses the module name by default.

params

Optional user-defined test parameters.

Attributes

Example

The following creates a module marked as a formal test:

class TestHarness extends RawModule {
 FormalTest(this)
}

Additional parameters may be passed to the test, which other tools may use to control how the test is interpreted or executed:

class TestHarness extends RawModule {
 FormalTest(
   this,
   MapTestParam(Map(
     "a" -> IntTestParam(9001),
     "b" -> DoubleTestParam(13.37),
     "c" -> StringTestParam("hello"),
     "d" -> ArrayTestParam(Seq(
       IntTestParam(9001),
       StringTestParam("hello")
     )),
     "e" -> MapTestParam(Map(
       "x" -> IntTestParam(9001),
       "y" -> StringTestParam("hello"),
     ))
   ))
 )
}

Source

TestMarker.scala