Compute the admissible perturbations correctly.

sybila · Oct 19, 2024 · af66629 · af66629
1 parent e445f3d
commit af66629
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -1210,8 +1210,8 @@ async fn start_control_computation(
                 .vertices();
 
             let mut admissible_perturbations = pstg.mk_empty_colors();
-            for _i in 0..=max_size {
-                let size_perturbations = pstg.create_perturbation_colors(max_size, true);
+            for i in 0..=max_size {
+                let size_perturbations = pstg.create_perturbation_colors(i, true);
                 admissible_perturbations = admissible_perturbations.union(&size_perturbations);
             }