65     EXPECT_EQ(finder.xors.size(), 0U);  in TEST_F()
78     check_xors_contains(finder.xors, "1, 2, 3 = 1");  in TEST_F()
91     check_xors_eq(finder.xors, "1, 2, 3 = 0");  in TEST_F()
109     check_xors_contains(finder.xors, "1, 2, 3 = 0");  in TEST_F()
110     check_xors_contains(finder.xors, "1, 2, 3 = 1");  in TEST_F()
129     check_xors_eq(finder.xors, "1, 2, 3, 4 = 0;");  in TEST_F()
146     check_xors_eq(finder.xors, "1, 2, 3, 4 = 1");  in TEST_F()
168     check_xors_eq(finder.xors, "1, 2, 3, 4 = 0;");  in TEST_F()
186     check_xors_eq(finder.xors, "1, 2, 3, 4 = 0;");  in TEST_F()
246     check_xors_eq(finder.xors, "1, 2, 3, 4 = 1; 1, 2, 3, 4 = 0");  in TEST_F()
281     check_xors_eq(finder.xors, "1, 2, 3, 4, 5 = 1;");  in TEST_F()
402     finder->xors = str_to_xors("1, 2, 3 = 0;");  in TEST_F()
403     finder->xors = finder->remove_xors_without_connecting_vars(finder->xors);  in TEST_F()
404     EXPECT_EQ(finder->xors.size(), 0u);  in TEST_F()
409     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 4, 5, 6 = 0");  in TEST_F()
410     finder->xors = finder->remove_xors_without_connecting_vars(finder->xors);  in TEST_F()
411     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
416     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 4, 5, 6 = 0; 10, 11, 12, 13 = 1");  in TEST_F()
417     finder->xors = finder->remove_xors_without_connecting_vars(finder->xors);  in TEST_F()
418     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
423 … finder->xors = str_to_xors("1, 2, 3 = 0; 1, 4, 5, 6 = 0; 10, 11, 12, 13 = 1; 10, 15, 16, 17 = 0");  in TEST_F()
424     finder->xors = finder->remove_xors_without_connecting_vars(finder->xors);  in TEST_F()
425     EXPECT_EQ(finder->xors.size(), 4u);  in TEST_F()
430     finder->xors = str_to_xors("1, 2, 3 = 1; 1, 4, 5, 6 = 0;");  in TEST_F()
431     finder->xor_together_xors(finder->xors);  in TEST_F()
432     check_xors_eq(finder->xors, "2, 3, 4, 5, 6 = 1 c 1;");  in TEST_F()
437     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 4, 5, 6 = 0;");  in TEST_F()
438     finder->xor_together_xors(finder->xors);  in TEST_F()
439     check_xors_eq(finder->xors, "2, 3, 4, 5, 6 = 0 c 1;");  in TEST_F()
444     finder->xors = str_to_xors("1, 2, 3 = 0; 10, 4, 5, 6 = 0;");  in TEST_F()
445     finder->xor_together_xors(finder->xors);  in TEST_F()
446     check_xors_eq(finder->xors, "1, 2, 3 = 0; 10, 4, 5, 6 = 0;");  in TEST_F()
451     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 4, 5, 6 = 0;"  in TEST_F()
453     finder->xor_together_xors(finder->xors);  in TEST_F()
454     EXPECT_EQ(finder->xors.size(), 3u);  in TEST_F()
459     finder->xors = str_to_xors(  in TEST_F()
463     finder->xor_together_xors(finder->xors);  in TEST_F()
464     EXPECT_EQ(finder->xors.size(), 1u);  in TEST_F()
465     check_xors_contains(finder->xors, "2, 3, 5, 6, 10, 11 = 0 c 1, 4");  in TEST_F()
470     finder->xors = str_to_xors(  in TEST_F()
475     finder->xor_together_xors(finder->xors);  in TEST_F()
476     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
477     check_xors_eq(finder->xors, "2, 4 = 0 c 1; 7, 10 = 1 c 6");  in TEST_F()
482     finder->xors = str_to_xors(  in TEST_F()
487     finder->xor_together_xors(finder->xors);  in TEST_F()
488     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
489     check_xors_eq(finder->xors,  in TEST_F()
496     finder->xors = str_to_xors(  in TEST_F()
500     finder->xor_together_xors(finder->xors);  in TEST_F()
501     EXPECT_EQ(finder->xors.size(), 1u);  in TEST_F()
502     check_xors_eq(finder->xors,  in TEST_F()
509     finder->xors = str_to_xors(  in TEST_F()
512     finder->xor_together_xors(finder->xors);  in TEST_F()
513     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
514     check_xors_eq(finder->xors,  in TEST_F()
521     finder->xors = str_to_xors("1, 2, 3, 4 = 0; 1, 2, 5, 6= 0;");  in TEST_F()
522     finder->xor_together_xors(finder->xors);  in TEST_F()
523     EXPECT_EQ(finder->xors.size(), 2u);  in TEST_F()
524     check_xors_eq(finder->xors, "1, 2, 3, 4 = 0; 1, 2, 5, 6= 0;");  in TEST_F()
529     finder->xors = str_to_xors("1, 2 = 0; 1, 2= 0;");  in TEST_F()
530     finder->xor_together_xors(finder->xors);  in TEST_F()
531     EXPECT_EQ(finder->xors.size(), 1U);  in TEST_F()
536     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 2, 3= 0;");  in TEST_F()
537     finder->xor_together_xors(finder->xors);  in TEST_F()
538     EXPECT_EQ(finder->xors.size(), 1U);  in TEST_F()
543     finder->xors = str_to_xors("1 = 0; 1 = 1;");  in TEST_F()
544     finder->xor_together_xors(finder->xors);  in TEST_F()
545     bool ret = finder->add_new_truths_from_xors(finder->xors);  in TEST_F()
551     finder->xors = str_to_xors("1, 2 = 0; 1 = 1; 2 = 0");  in TEST_F()
552     bool ret = finder->xor_together_xors(finder->xors);  in TEST_F()
554     EXPECT_EQ(finder->xors.size(), 1U);  in TEST_F()
556     ret = finder->add_new_truths_from_xors(finder->xors);  in TEST_F()
562     finder->xors = str_to_xors("1 = 0; 1, 2, 3 = 1; 3 = 1");  in TEST_F()
563     finder->xor_together_xors(finder->xors);  in TEST_F()
564     bool ret = finder->add_new_truths_from_xors(finder->xors);  in TEST_F()
566     EXPECT_EQ(finder->xors.size(), 0u);  in TEST_F()
573     finder->xors = str_to_xors("1, 2, 3 = 0; 1, 2, 3, 4 = 1;");  in TEST_F()
575     bool ret = topLevelGauss->toplevelgauss(finder->xors, &out_changed_occur);  in TEST_F()
582     finder->xors = str_to_xors("1, 2, 5 = 0; 1, 3 = 0; 2 = 0");  in TEST_F()
583     bool ret = finder->xor_together_xors(finder->xors);  in TEST_F()
585         ret &= finder->add_new_truths_from_xors(finder->xors);  in TEST_F()
588     EXPECT_EQ(finder->xors.size(), 0u);  in TEST_F()
594     finder->xors = str_to_xors("3, 1 = 1; 1, 3 = 0;");  in TEST_F()
595     bool ret = finder->xor_together_xors(finder->xors);  in TEST_F()
597         ret &= finder->add_new_truths_from_xors(finder->xors);  in TEST_F()
604     finder->xors = str_to_xors("3, 7, 9 = 0; 1, 3, 4, 5 = 1;");  in TEST_F()
605     bool ret = finder->xor_together_xors(finder->xors);  in TEST_F()
607     check_xors_eq(finder->xors, "7, 9, 1, 4, 5 = 1 c 3;");  in TEST_F()