Searched refs:recordNonNegativeAssumption (Results 1 – 1 of 1) sorted by relevance
95 void recordNonNegativeAssumption() { AssumedNonNegative = true; } in recordNonNegativeAssumption() function in __anon612badfa0111::StateUpdateReporter644 SUR.recordNonNegativeAssumption(); in performCheck()