edit
authorbdemsky <bdemsky@uci.edu>
Wed, 18 Jul 2018 23:24:04 +0000 (16:24 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 18 Jul 2018 23:24:04 +0000 (16:24 -0700)
src/Backend/satencoder.cc

index eebf4b0..8dab3ab 100644 (file)
@@ -64,6 +64,9 @@ Edge SATEncoder::encodeConstraintSATEncoder(BooleanEdge c) {
        case PREDICATEOP:
                result = encodePredicateSATEncoder((BooleanPredicate *) constraint);
                break;
+       case BOOLCONST:
+               result = ((BooleanConst *) constraint)->isTrue() ? E_True : E_False;
+               break;
        default:
                model_print("Unhandled case in encodeConstraintSATEncoder %u", constraint->type);
                exit(-1);