System und unit test tool. Programming Language and Operating System independent. As a Counterpoint to the *Unit Family it does not rely on explicit asserts. Only prerequisit: How to get a 'Hello World' program to run.
- Generators -- create millions of test cases easily.
- State machine walker -- walk along all possible paths.
- Temporal logic engine.
- Coverage analysis with gcov/lcov.