turn assertion into test

aibasel · Aug 29, 2024 · e347e04 · e347e04
1 parent 8989cfb
commit e347e04
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/src/search/potentials/potential_optimizer.cc b/src/search/potentials/potential_optimizer.cc
@@ -136,9 +136,16 @@ void PotentialOptimizer::construct_lp() {
             int post = effect.get_fact().get_value();
             int pre_lp = lp_var_ids[var_id][pre];
             int post_lp = lp_var_ids[var_id][post];
-            assert(pre_lp != post_lp);
-            coefficients.emplace_back(pre_lp, 1);
-            coefficients.emplace_back(post_lp, -1);
+            if (pre_lp != post_lp) {
+                /*
+                  Prevail conditions with pre = post can occur in transformed
+                  tasks, see issue1150. We ignore them since they cancel out and
+                  LPConstraints may not have two coefficients for the same
+                  variable.
+                */
+                coefficients.emplace_back(pre_lp, 1);
+                coefficients.emplace_back(post_lp, -1);
+            }
         }
         sort(coefficients.begin(), coefficients.end());
         for (const auto &coeff : coefficients)