fix(flat-bool): to_linear_constraints_system

seahorn · Apr 23, 2024 · 4d934fe · 4d934fe
1 parent d2cabf9
commit 4d934fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/crab/domains/flat_boolean_domain.hpp b/include/crab/domains/flat_boolean_domain.hpp
@@ -411,7 +411,7 @@ class flat_boolean_domain final
         res += linear_constraint_t(v == number_t(0));
       } else {
         res += linear_constraint_t(v >= number_t(0));
-        res += linear_constraint_t(v >= number_t(1));
+        res += linear_constraint_t(v <= number_t(1));
       }
     }
     return res;