fix: off by one error in PetriNetIntegerDomain

sybila · Nov 7, 2023 · d2d8174 · d2d8174
1 parent 1682a2c
commit d2d8174
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/symbolic_domain.rs b/src/symbolic_domain.rs
@@ -399,7 +399,7 @@ impl SymbolicDomain<u8> for PetriNetIntegerDomain {
         for i in 0..self.variables.len() {
             let mut allowed_i = variables.mk_var(self.variables[i]);
 
-            for j in 0..=self.variables.len() {
+            for j in 0..self.variables.len() {
                 if j == i {
                     continue;
                 }