191       ASSERT_STREQ("(1 -> 2) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
193       ASSERT_STREQ("(1 -> 2) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
202       ASSERT_STREQ("(2 -> 3) (1 -> 2) (1 -> 4) (0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
204       ASSERT_STREQ("(2 -> 3) (1 -> 2) (0 -> 1) (2 -> 4)", resolver.GetMessage().c_str());  in TYPED_TEST()
218       ASSERT_STREQ("(1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
220       ASSERT_STREQ("(1 -> T0) (0 -> 1) (T0 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
229       ASSERT_STREQ("(1 -> 2) (1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
231       ASSERT_STREQ("(1 -> 2) (0 -> 1) (2 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
240       ASSERT_STREQ("(0 -> 2) (1 <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
242       ASSERT_STREQ("(0 -> 2) (1 -> 0) (2 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
251       ASSERT_STREQ("(4 <-> 0) (3 <-> 4) (2 <-> 3) (1 <-> 2)", resolver.GetMessage().c_str());  in TYPED_TEST()
254           resolver.GetMessage().c_str());  in TYPED_TEST()
275   ASSERT_STREQ("(1 -> 2) (C -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
296     ASSERT_STREQ("(2 -> 4) (0,1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
313     ASSERT_STREQ("(2 -> 4) (0,1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
331       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
333       ASSERT_STREQ("(2 -> T0) (0,1 -> 2,3) (T0 -> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
356       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
359           resolver.GetMessage().c_str());  in TYPED_TEST()
382       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
385           resolver.GetMessage().c_str());  in TYPED_TEST()
408       ASSERT_STREQ("(0,1 <-> 2,3) (7 -> 1) (0 -> 7)", resolver.GetMessage().c_str());  in TYPED_TEST()
410       ASSERT_STREQ("(7 -> T0) (2 -> 7) (0,1 -> 2,3) (T0 -> 1)", resolver.GetMessage().c_str());  in TYPED_TEST()
428       ASSERT_STREQ("(2,3 <-> 0,1)", resolver.GetMessage().c_str());  in TYPED_TEST()
430       ASSERT_STREQ("(2,3 -> T0,T1) (0,1 -> 2,3) (T0,T1 -> 0,1)", resolver.GetMessage().c_str());  in TYPED_TEST()
448       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
450       ASSERT_STREQ("(0,1 -> T0,T1) (2,3 -> 0,1) (T0,T1 -> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
464       ASSERT_STREQ("(1 <-> 0) (3 <-> 2)",  resolver.GetMessage().c_str());  in TYPED_TEST()
467           resolver.GetMessage().c_str());  in TYPED_TEST()
490       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
493           resolver.GetMessage().c_str());  in TYPED_TEST()
516       ASSERT_STREQ("(0,1 <-> 2,3)", resolver.GetMessage().c_str());  in TYPED_TEST()
519           resolver.GetMessage().c_str());  in TYPED_TEST()
544 …   ASSERT_STREQ("(2x32(sp) <-> 10,11) (4,5 <-> 2x32(sp)) (4 -> 5)", resolver.GetMessage().c_str());  in TYPED_TEST()
547           resolver.GetMessage().c_str());  in TYPED_TEST()
577       ASSERT_STREQ("(0 <-> 1) (48(sp) <-> 0)", resolver.GetMessage().c_str());  in TYPED_TEST()
580           resolver.GetMessage().c_str());  in TYPED_TEST()
604       ASSERT_STREQ("(2x32(sp) <-> 0,1) (2,3 <-> 2x32(sp))", resolver.GetMessage().c_str());  in TYPED_TEST()
607           resolver.GetMessage().c_str());  in TYPED_TEST()