X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Flogicopstest.cc;h=a21e9c6fbe1d27ff6aa5fa53ce6864784eb9d793;hp=ece659e4699aafa14fc8861ac2d31a871677d118;hb=ef5d7a44cfe435c24e5f104e320b1a81835626e7;hpb=faac5894230d569848367149a130486b965eb329

diff --git a/src/Test/logicopstest.cc b/src/Test/logicopstest.cc
index ece659e..a21e9c6 100644
--- a/src/Test/logicopstest.cc
+++ b/src/Test/logicopstest.cc
@@ -24,7 +24,7 @@ int main(int numargs, char **argv) {
 	solver->addConstraint(solver->applyLogicalOperation(SATC_OR, barray4, 2));
 	Boolean *barray5[] = {b1, b4};
 	solver->addConstraint(solver->applyLogicalOperation(SATC_XOR, barray5, 2));
-	if (solver->startEncoding() == 1)
+	if (solver->solve() == 1)
 		printf("b1=%d b2=%d b3=%d b4=%d\n",
 					 solver->getBooleanValue(b1), solver->getBooleanValue(b2),
 					 solver->getBooleanValue(b3), solver->getBooleanValue(b4));