Searched defs:StFalse (Results 1 – 4 of 4) sorted by relevance
68 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local84 ProgramStateRef StFalse = Assume(false); in assumeDualImpl() local
142 ProgramStateRef StTrue, StFalse; in evalComparison() local
2719 ProgramStateRef StTrue, StFalse; in assumeCondition() local2765 ProgramStateRef StTrue, StFalse; in processBranch() local
148 ProgramStateRef StTrue, StFalse; in getArgumentValueString() local