doPrint(record,file);
if (record->getType()==LOOPENTER) {
- workstack->push_back(record->getNextRecord());
+ if (record->getNextRecord()!=NULL)
+ workstack->push_back(record->getNextRecord());
workstack->push_back(record->getChildRecord());
return;
}
Constraint *l2=getRetValueEncoding(r, constval);
Constraint *functionimplication2=new Constraint(IMPLIES, outputtrue, l2);
ADDCONSTRAINT(functionimplication2,"equalsimpl");
+ return;
}
IntIterator *iit=record->getSet(VC_BASEINDEX)->iterator();
processRecord(record);
}
if (record->getType()==LOOPENTER) {
- workstack->push_back(record->getNextRecord());
+ if (record->getNextRecord()!=NULL)
+ workstack->push_back(record->getNextRecord());
workstack->push_back(record->getChildRecord());
return;
}