Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
authorbdemsky <bdemsky@uci.edu>
Fri, 21 Sep 2018 03:03:40 +0000 (20:03 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 21 Sep 2018 03:03:40 +0000 (20:03 -0700)
src/ASTTransform/elementopt.cc

index 4477379..b0866ed 100644 (file)
@@ -184,7 +184,8 @@ void ElementOpt::replaceVarWithConst(BooleanPredicate *pred, ElementSet *var, El
                                        solver->boolMap.remove(newpred);
                                        newpred->inputs.set(j, value);
                                        solver->boolMap.put(newpred, newpred);
-                                       workList.push(newpred);
+                                       if (newpred->isTrue() || newpred->isFalse())
+                                               workList.push(newpred);
                                        break;
                                }
                        }