Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / ASTAnalyses / Polarity / polarityassignment.cc
index 4a772ee..b8b01d0 100644 (file)
@@ -2,6 +2,9 @@
 #include "csolver.h"
 
 void computePolarities(CSolver *This) {
+       if(This->isUnSAT()){
+               return;
+       }
        SetIteratorBooleanEdge *iterator = This->getConstraints();
        while (iterator->hasNext()) {
                BooleanEdge boolean = iterator->next();