Reserve the space for the _succs and _preds in AdaptGraph::growTo

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 23, 2024 · 8be5828 · 8be5828
1 parent e6ceb8f
commit 8be5828
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/crab_utils/adapt_sgraph.hpp b/src/crab_utils/adapt_sgraph.hpp
@@ -338,6 +338,8 @@ class AdaptGraph final {
     }
 
     void growTo(size_t v) {
+        _succs.reserve(v);
+        _preds.reserve(v);
         while (size() < v) {
             new_vertex();
         }