Skip to content
Joshua Gleitze edited this page Sep 24, 2015 · 18 revisions

How to use

To set up the tests, see How To Use
To generate nice HTML output, see Generating HTML output

How to write

We set up a very brief introduction, see Writing Tests. Maybe it will be extended at a later point. Our Javadoc and existing tests should be your main source of information.

Development wiki

These pages are used to keep track of development and collect test cases. Please read through them and collaborate your thoughts and test cases!