offset = 0;
do {
ptr=read(0, buffer, sizeof(int)*IS_BUFFERSIZE);
- if (ptr == -1)
+ if (ptr == -1 || ptr == 0)
exit(-1);
} while(ptr==0);
ssize_t bytestoread=(4-(ptr & 3)) & 3;
while(bytestoread != 0) {
ssize_t p=read(0, &((char *)buffer)[ptr], bytestoread);
- if (p == -1)
+ if (p == -1 || p == 0)
exit(-1);
bytestoread -= p;
ptr += p;
if (ret == l_True) {
putInt(IS_SAT);
putInt(solver->nVars());
- putInt(0);
for(int i=0;i<solver->nVars();i++) {
putInt(solver->model[i]==l_True);
}
#endif
// Extra options:
//
- IntOption verb ("MAIN", "verb", "Verbosity level (0=silent, 1=some, 2=more).", 1, IntRange(0, 2));
+ IntOption verb ("MAIN", "verb", "Verbosity level (0=silent, 1=some, 2=more).", 0, IntRange(0, 2));
BoolOption mod ("MAIN", "model", "show model.", false);
IntOption vv ("MAIN", "vv", "Verbosity every vv conflicts", 10000, IntRange(1,INT32_MAX));
BoolOption pre ("MAIN", "pre", "Completely turn on/off any preprocessing.", true);