commit | 985b19f678cbccc57853796d2ee0e6885b9e7244 | [log] [tgz] |
---|---|---|
author | Garret Rieger <grieger@google.com> | Wed Sep 07 22:21:16 2022 +0000 |
committer | Garret Rieger <grieger@google.com> | Thu Dec 01 20:17:39 2022 +0000 |
tree | a2b5c260eef4c0c2435fdf6be7f3ec6e51f0d4c0 | |
parent | 2658370f00981ac95c7031e9acaf8163f2e0f526 [diff] [blame] |
[repacker] begin implementing a fuzzer for the repacker api.
diff --git a/src/graph/graph.hh b/src/graph/graph.hh index c6f0884..20d6463 100644 --- a/src/graph/graph.hh +++ b/src/graph/graph.hh
@@ -941,6 +941,18 @@ return made_change; } + bool is_fully_connected () + { + update_parents(); + + for (unsigned i = 0; i < root_idx (); i++) + { + if (!vertices_[i].parents) + return false; + } + return true; + } + void print_orphaned_nodes () { if (!DEBUG_ENABLED(SUBSET_REPACK)) return;