Searched defs:AssertionVal (Results 1 – 2 of 2) sorted by relevance
69 SVal AssertionVal = Call.getArgSVal(0); in reportIfCanBeTrue() local
143 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString() local