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