From 247c1b24e37a888dddbb48b4fab205e869c6c9d2 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 11 Jul 2017 20:23:34 -0700 Subject: [PATCH] Forgot to turn on CIRCUIT Encoding --- src/Backend/satfuncencoder.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Backend/satfuncencoder.c b/src/Backend/satfuncencoder.c index 8938824..450ef85 100644 --- a/src/Backend/satfuncencoder.c +++ b/src/Backend/satfuncencoder.c @@ -48,8 +48,7 @@ Edge encodeOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * con case ENUMERATEIMPLICATIONS: return encodeEnumOperatorPredicateSATEncoder(This, constraint); case CIRCUIT: - ASSERT(0); - break; + return encodeCircuitOperatorPredicateEncoder(This, constraint); default: ASSERT(0); } -- 2.34.1