Searched refs:isKnownState (Results 1 – 1 of 1) sorted by relevance
168 static bool isKnownState(ConsumedState State) { in isKnownState() function983 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()999 isKnownState(RState)) { in splitVarStateForIfBinOp()