Searched refs:assertCtx (Results 1 – 1 of 1) sorted by relevance
753 AssertsContext assertCtx {}; in Verify() local765 assertCtx.AddError(std::string {"invariant was not found: "} + invariant); in Verify()773 invariantsChecks_[invariantName](assertCtx, ast); in Verify()777 return std::make_tuple(warningCtx.GetErrors(), assertCtx.GetErrors()); in Verify()