Searched refs:IsFailBranch (Results 1 – 1 of 1) sorted by relevance
110 if (auto IsFailBranch = State->assume(*FailComparison); in evalAssume() local111 IsFailBranch.first && !IsFailBranch.second) { in evalAssume()