|
signature TEST =
sig
type testFunction = unit -> unit
datatype test =
TestCase of testFunction
| TestLabel of string * test
| TestList of test list
val labelTests : (string * testFunction) list -> test
end
Type detail |
---|
type testFunction = unit -> unit
Datatype detail |
---|
datatype test =
TestCase of testFunction
| TestLabel of string * test
| TestList of test list
DataConstructor detail |
---|
constructor TestCase test : testFunction -> test
test
constructor TestLabel (label, test) : string * test -> test
label
test
constructor TestList tests : test list -> test
tests
Value detail |
---|
fun labelTests nameAndTester
: (* the name of test *)
(string * (* the function which performs the test *) testFunction) list ->
test
nameAndTester
| SMLUnit: regression test framework for SML |