Commit bbd24d04 authored by Lonca Emmanuel's avatar Lonca Emmanuel

fixed a bug that made some "v" lines be wrong in results display

parent 446f7aaf
Pipeline #199 passed with stage
in 11 minutes and 46 seconds
......@@ -184,21 +184,22 @@ public class XMLCSP3Reader extends Reader implements XCallbacks2 {
.append(degree.toString())
.append("\">\n");
appendModel(strModelBuffer, model);
strModelBuffer.append("v </instantiation>\n");
break;
case UPPER_BOUND:
case SATISFIABLE:
strModelBuffer.append("<instantiation type=\"solution\">\n");
appendModel(strModelBuffer, model);
strModelBuffer.append("v </instantiation>\n");
break;
case UNSATISFIABLE:
strModelBuffer.append(AbstractLauncher.COMMENT_PREFIX).append(" no model");
strModelBuffer.append(AbstractLauncher.COMMENT_PREFIX).append(" no model\n");
break;
case UNKNOWN:
default:
strModelBuffer.append(AbstractLauncher.COMMENT_PREFIX).append(" unknown state");
strModelBuffer.append(AbstractLauncher.COMMENT_PREFIX).append(" unknown state\n");
break;
}
strModelBuffer.append("v </instantiation>");
return strModelBuffer.toString();
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment