Changeset 1143:f85ee41c84bc in lemon-main for test

Timestamp:

05/14/15 17:13:44 (10 years ago)

Author:

Alpar Juttner <alpar@…>

Branch:

default

Phase:

public

Message:

Bugfix in Vf2 - missing initialization (#597)

File:

• test/vf2_test.cc (modified) (1 diff)

test/vf2_test.cc

@@ -353 +353 @@
         "P10 and C10 are not isomorphic.");
   check(checkIso(c10,c10),
-        "C10 and C10 are not isomorphic.");
+        "C10 and C10 are isomorphic.");
+
+  check(!vf2(p10,c10).iso().run(),
+        "P10 and C10 are not isomorphic.");
+  check(vf2(c10,c10).iso().run(),
+        "C10 and C10 are isomorphic.");
 
   check(!checkSub(c5,petersen,c5_col,petersen_col1),