test/vf2_test.cc
changeset 1143 f85ee41c84bc
parent 1141 a037254714b3
child 1186 3feba0ea1bda
     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.");