only select a new predicate branch when new read actions are processed
[c11tester.git] / mainpage.dox
1 /**
2  * @mainpage
3  * @htmlinclude README.html
4  */