UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
uncover::test Namespace Reference

Contains a collection of unit tests for testing this tools functionality. More...

Detailed Description

Contains a collection of unit tests for testing this tools functionality.

Author
Jan Stückrath