Searched defs:IsInvariantBreak (Results 1 – 1 of 1) sorted by relevance
93 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkPostCall() local140 Optional<bool> IsInvariantBreak = isInvariantBreak(ExpectedValue, ReturnV, C); in checkEndFunction() local