only select a new predicate branch when new read actions are processed
[c11tester.git] / libannotate.cc
2014-01-25 bdemskyAnnotation Support