perf: reserve space for vectors in sgraph

seahorn · Oct 23, 2024 · 418b63c · 418b63c
1 parent ccbc3e6
commit 418b63c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/crab/domains/graphs/adapt_sgraph.hpp b/include/crab/domains/graphs/adapt_sgraph.hpp
@@ -199,6 +199,8 @@ template <class Weight> class AdaptGraph {
   }
 
   void growTo(vert_id v) {
+    _succs.reserve(v);
+    _preds.reserve(v);    
     while (size() < v)
       new_vertex();
   }