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