only select a new predicate branch when new read actions are processed
[c11tester.git] / mainpage.dox
2013-06-05 Brian Norrisdocs: improve Doxygen documentation