diff --git a/testcases/SatFun.scala b/testcases/SatFun.scala index 063312f81c682963b0ab142c8713b98661b4ed2b..fcef089f5cfd34e2db581385e5767f88cc1b4813 100644 --- a/testcases/SatFun.scala +++ b/testcases/SatFun.scala @@ -26,12 +26,12 @@ object SatFun { def evalCnf(clauses: ClauseList, trueVars: Set[Int]): Boolean = clauses match { case ClauseCons(cl, cls) => evalClauseCnf(cl, trueVars) && evalCnf(cls, trueVars) - case ClauseNil() => false + case ClauseNil() => true case ClauseLit(b) => b } def evalDnf(clauses: ClauseList, trueVars: Set[Int]): Boolean = clauses match { case ClauseCons(cl, cls) => evalClauseDnf(cl, trueVars) || evalDnf(cls, trueVars) - case ClauseNil() => true + case ClauseNil() => false case ClauseLit(b) => b } def evalClauseCnf(clause: VarList, trueVars: Set[Int]): Boolean = clause match {