24 TEST(BoolValueDebugStringTest, AtomicBoolean) {  in TEST()  argument
34 TEST(BoolValueDebugStringTest, Negation) {  in TEST()  argument
44 TEST(BoolValueDebugStringTest, Conjunction) {  in TEST()  argument
55 TEST(BoolValueDebugStringTest, Disjunction) {  in TEST()  argument
66 TEST(BoolValueDebugStringTest, Implication) {  in TEST()  argument
77 TEST(BoolValueDebugStringTest, Iff) {  in TEST()  argument
88 TEST(BoolValueDebugStringTest, Xor) {  in TEST()  argument
107 TEST(BoolValueDebugStringTest, NestedBoolean) {  in TEST()  argument
127 TEST(BoolValueDebugStringTest, AtomicBooleanWithName) {  in TEST()  argument
137 TEST(BoolValueDebugStringTest, ComplexBooleanWithNames) {  in TEST()  argument
164 TEST(BoolValueDebugStringTest, ComplexBooleanWithSomeNames) {  in TEST()  argument