From: weiyu <weiyuluo1232@gmail.com>
Date: Wed, 9 Oct 2019 22:54:44 +0000 (-0700)
Subject: Select a new predicate branch when the selected branch in the predicate tree fails... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=bf2121ac2a964022f09c30ebb904bef7ceb2df8d;hp=bf2121ac2a964022f09c30ebb904bef7ceb2df8d

Select a new predicate branch when the selected branch in the predicate tree fails and the failed thread can not find any other thread to wait for
---