From 57d99fb1601940a45aea30037396ddf0fb7c9c3d Mon Sep 17 00:00:00 2001
From: Gloria Mundi <gloria@gloria-mundi.eu>
Date: Sat, 15 Feb 2025 14:48:08 +0100
Subject: shorten sccs and collect scc lists

---
 test/graph/scc.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'test')

diff --git a/test/graph/scc.cpp b/test/graph/scc.cpp
index cf4efc7..46ad201 100644
--- a/test/graph/scc.cpp
+++ b/test/graph/scc.cpp
@@ -28,7 +28,16 @@ void stress_test() {
 			return seen;
 		};
 
+		vector<int> seen(n);
+		for (int i = 0; i < ssize(sccs); i++) {
+			for (int v: sccs[i]) {
+				if (idx[v] != i) cerr << v << " is in scc " << i << ", but idx[" << v << "] = " << idx[v] << FAIL;
+				seen[v]++;
+			}
+		}
+
 		for (int a = 0; a < n; a++) {
+			if (seen[a] != 1) cerr << a << " occurs " << seen[a] << " times in sccs" << FAIL;
 			vector<bool> reacha = reach(a);
 			for (int b = 0; b < n; b++) {
 				if (idx[a] == idx[b]) {
-- 
cgit v1.2.3