Searched refs:GTestChecker (Results 1 – 4 of 4) sorted by relevance
93 class GTestChecker : public Checker<check::PostCall> { class99 GTestChecker() = default;129 void GTestChecker::modelAssertionResultBoolConstructor( in modelAssertionResultBoolConstructor()158 void GTestChecker::modelAssertionResultCopyConstructor( in modelAssertionResultCopyConstructor()180 void GTestChecker::checkPostCall(const CallEvent &Call, in checkPostCall()238 void GTestChecker::initIdentifierInfo(ASTContext &Ctx) const { in initIdentifierInfo()248 SVal GTestChecker::getAssertionResultSuccessFieldValue( in getAssertionResultSuccessFieldValue()269 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, in assumeValuesEqual()287 Mgr.registerChecker<GTestChecker>(); in registerGTestChecker()
52 GTestChecker.cpp
60 "GTestChecker.cpp",
1367 def GTestChecker : Checker<"GTest">,