From af66629dc6cb2bd8e18f2df86c15a7ea3c1145bc Mon Sep 17 00:00:00 2001 From: Samuel Pastva Date: Sat, 19 Oct 2024 22:33:01 +0200 Subject: [PATCH] Compute the admissible perturbations correctly. --- src/main.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main.rs b/src/main.rs index 3fd7040..d7764ea 100644 --- 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); }