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