From 4e316ade73c4ce27ff5c4149608ed8268721590b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 6 Nov 2023 13:47:16 +0100
Subject: [PATCH] add integrity checks

---
 src/edmonds.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/edmonds.cpp b/src/edmonds.cpp
index 97a0ddf..44012d6 100644
--- a/src/edmonds.cpp
+++ b/src/edmonds.cpp
@@ -230,7 +230,7 @@ void contract_blossom(GraphAttributes & attrs, std::vector<NodeId> const & x_pat
    std::tuple<NodeId, size_type, size_type> const blossom_root_description = find_blossom_root_id(attrs, x_path, y_path);
    update_phialong_blossom_paths(attrs, x_path, y_path, blossom_root_description);
 
-   //check_integrity(attrs);
+   check_integrity(attrs);
    update_rho(attrs, x_path, y_path, blossom_root_description, outer_unvisited_nodes);
 }
 
@@ -252,7 +252,7 @@ void maximum_matching_from_initial_matching(Graph const & graph, GraphAttributes
       outer_unvisited_nodes.pop();
       for(NodeId neighbor_id : graph.node(id).neighbors())
       {
-         //check_integrity(graph);
+         check_integrity(attrs);
          //std::cout << "Check passed" << std::endl;
          if (attrs.is_out_of_forest(neighbor_id))
          {