test -package:valor

Perform the "./setup test" action.

Lift a test in to a property. Because both TestT and PropertyT have MonadTest instances, this function is not often required. It can however be useful for writing functions directly in TestT and thus gaining a MonadTransControl instance at the expense of not being able to generate additional inputs using forAll. An example where this is useful is parallel state machine testing, as executeParallel requires MonadBaseControl IO in order to be able to spawn threads in MonadTest.

Solve the equation:

2x + y - z = 2

We have:

>>> test
(k, 2+k', 2k+k')
(1+k, k', 2k+k')

That is, for arbitrary k and k', we have two different solutions. (An infinite family.) You can verify these solutuions by substituting the values for x, y and z in the above, for each choice. It's harder to see that they cover all possibilities, but a moments thought reveals that is indeed the case.

Proves the equivalence NOT (p OR (q AND r)) == (NOT p AND NOT q) OR (NOT p AND NOT r), following from the axioms we have specified above. We have:

>>> test
Q.E.D.

Define a test, with the given name and implementation.

Returns false if the pattern and the text do not match at all. Returns true otherwise.

>>> test "brd" "bread"
True

Test with default options (defOptions). Returns a list of counterexamples

Check whether a communication has completed, and free the communication request if so (MPI_Test).

Check whether a communication has finished, and return the communication result if so.

A handy test

Test if a variable is true (specialised to Bool)

The basic structure used to create an annotated tree of test cases.

Main test data type: builds up a list of tests to be run. Users should use the utility functions in e.g. the test-framework-hunit and test-framework-quickcheck2 packages to create instances of Test, and then build them up into testsuites by using testGroup and lists. For an example of how to use test-framework, please see http://github.com/batterseapower/test-framework/raw/master/example/Test/Framework/Example.lhs

A single test of some particular type

This is the entry point into testing a built package. It performs the "./setup test" action. It runs test suites designated in the package description and reports on the results.