1.1 --- a/test/vf2_test.cc Thu May 14 16:07:38 2015 +0200
1.2 +++ b/test/vf2_test.cc Thu May 14 17:13:44 2015 +0200
1.3 @@ -352,7 +352,12 @@
1.4 check(!checkIso(p10,c10),
1.5 "P10 and C10 are not isomorphic.");
1.6 check(checkIso(c10,c10),
1.7 - "C10 and C10 are not isomorphic.");
1.8 + "C10 and C10 are isomorphic.");
1.9 +
1.10 + check(!vf2(p10,c10).iso().run(),
1.11 + "P10 and C10 are not isomorphic.");
1.12 + check(vf2(c10,c10).iso().run(),
1.13 + "C10 and C10 are isomorphic.");
1.14
1.15 check(!checkSub(c5,petersen,c5_col,petersen_col1),
1.16 "There should exist a C5->Petersen mapping.");