From e0bd0f6c14e5fe90ee9b148fa0d5c14cd0ee32e5 Mon Sep 17 00:00:00 2001
From: p-hamann <p.hamann@dareit.de>
Date: Tue, 21 May 2019 08:26:06 +0200
Subject: [PATCH] Validate input vectors
---
bnb/incremental_bfs.cpp | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/bnb/incremental_bfs.cpp b/bnb/incremental_bfs.cpp
index dd2aa5a..8ae56a2 100644
--- a/bnb/incremental_bfs.cpp
+++ b/bnb/incremental_bfs.cpp
@@ -6,6 +6,11 @@
incremental_bfs::incremental_bfs(const graph& g, std::vector<node_id> sources, std::vector<node_id> sinks)
: g_(g), sources_(sources), sinks_(sinks), s_(ibfs_subtree(sources, subtree::s, g)), t_(ibfs_subtree(sinks, subtree::t, g)) {
+ assert(!sources.empty());
+ assert(!sinks.empty());
+ assert(sources.size() <= g.num_nodes()/2);
+ assert(sinks.size() <= g.num_nodes()/2);
+
node_assignments_ = std::vector<subtree>(g.num_nodes(), none);
for (node_id node : sources) {
node_assignments_[node-1] = s;
--
GitLab