Add failed predicates to predicate trace; remove unused codes
[c11tester.git] / mainpage.dox
2013-06-05 Brian Norrisdocs: improve Doxygen documentation