Searched defs:Z3CrosscheckOracleTest (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/unittests/StaticAnalyzer/ |
| H A D | Z3CrosscheckOracleTest.cpp | 71 using DefaultZ3CrosscheckOracleTest = Z3CrosscheckOracleTest<DefaultOpts>; in TEST_F() argument
52 class Z3CrosscheckOracleTest : public testing::Test { global() class
62 TEST_F(Z3CrosscheckOracleTest,AcceptsFirstSAT) TEST_F() argument
66 TEST_F(Z3CrosscheckOracleTest,AcceptsSAT) TEST_F() argument
76 TEST_F(Z3CrosscheckOracleTest,UNSATWhenItGoesOverTime) TEST_F() argument
80 TEST_F(Z3CrosscheckOracleTest,RejectsTimeout) TEST_F() argument
86 TEST_F(Z3CrosscheckOracleTest,RejectsUNSATs) TEST_F() argument
96 TEST_F(Z3CrosscheckOracleTest,RejectEQClassIfSpendsTooMuchTotalTime) TEST_F() argument
103 TEST_F(Z3CrosscheckOracleTest,SATWhenItSpendsTooMuchTotalTime) TEST_F() argument
110 TEST_F(Z3CrosscheckOracleTest,RejectEQClassIfAttemptsManySmallQueries) TEST_F() argument
120 TEST_F(Z3CrosscheckOracleTest,SATWhenIfAttemptsManySmallQueries) TEST_F() argument
131 TEST_F(Z3CrosscheckOracleTest,RejectEQClassIfExhaustsRLimit) TEST_F() argument
137 TEST_F(Z3CrosscheckOracleTest,SATWhenItExhaustsRLimit) TEST_F() argument
|