Searched refs:SATCheckDebugStringTest (Results 1 – 1 of 1) sorted by relevance
213 TEST(SATCheckDebugStringTest, AtomicBoolean) { in TEST() argument231 TEST(SATCheckDebugStringTest, AtomicBooleanAndNegation) { in TEST() argument252 TEST(SATCheckDebugStringTest, MultipleAtomicBooleans) { in TEST() argument273 TEST(SATCheckDebugStringTest, Implication) { in TEST() argument300 TEST(SATCheckDebugStringTest, Iff) { in TEST() argument332 TEST(SATCheckDebugStringTest, Xor) { in TEST() argument364 TEST(SATCheckDebugStringTest, ComplexBooleanWithNames) { in TEST() argument406 TEST(SATCheckDebugStringTest, ComplexBooleanWithLongNames) { in TEST() argument