From: bdemsky <bdemsky@uci.edu>
Date: Wed, 18 Oct 2017 02:10:55 +0000 (-0700)
Subject: Correct test case
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=a23c7844200dd932154196ac6b8b107e43d5e092

Correct test case
---

diff --git a/src/Test/bug1.cc b/src/Test/bug1.cc
index c628257..52707c5 100644
--- a/src/Test/bug1.cc
+++ b/src/Test/bug1.cc
@@ -70,8 +70,8 @@ int main(int numargs, char **argv) {
         BooleanEdge v11 = solver->getBooleanVar(0);
         BooleanEdge v12 = solver->getBooleanVar(0);
         solver->addConstraint(
-                solver->applyLogicalOperation(SATC_IMPLIES, 
-                solver->applyLogicalOperation(SATC_AND, v10, v11),
+                solver->applyLogicalOperation(SATC_OR, 
+                solver->applyLogicalOperation(SATC_OR, v10, v11),
                 solver->applyLogicalOperation(SATC_IFF, v1, v12)));
         BooleanEdge b48 =  solver->orderConstraint(order, 4, 8);
         solver->addConstraint(