test/planarity_test.cc
changeset 798 58c330ad0b5c
parent 797 30cb42e3e43a
     1.1 --- a/test/planarity_test.cc	Wed Sep 09 15:32:03 2009 +0200
     1.2 +++ b/test/planarity_test.cc	Sun Oct 04 10:15:32 2009 +0200
     1.3 @@ -239,15 +239,18 @@
     1.4      check(simpleGraph(graph), "Test graphs must be simple");
     1.5  
     1.6      PE pe(graph);
     1.7 -    if (pe.run()) {
     1.8 +    bool planar = pe.run();
     1.9 +    check(checkPlanarity(graph) == planar, "Planarity checking failed");
    1.10 +
    1.11 +    if (planar) {
    1.12        checkEmbedding(graph, pe);
    1.13  
    1.14        PlanarDrawing<Graph> pd(graph);
    1.15 -      pd.run(pe.embedding());
    1.16 +      pd.run(pe.embeddingMap());
    1.17        checkDrawing(graph, pd);
    1.18  
    1.19        PlanarColoring<Graph> pc(graph);
    1.20 -      pc.runFiveColoring(pe.embedding());
    1.21 +      pc.runFiveColoring(pe.embeddingMap());
    1.22        checkColoring(graph, pc, 5);
    1.23  
    1.24      } else {