CGoal *goal=cit->next();
model_dprintf(f,"(");
for(uint i=0;i<getNumFuncInputs();i++) {
- model_dprintf(f,"%lu ", goal->getValue(i+VC_BASEINDEX));
+ model_dprintf(f,"%llu ", goal->getValue(i+VC_BASEINDEX));
}
- model_dprintf(f,"=> %lu)", goal->getOutput());
+ model_dprintf(f,"=> %llu)", goal->getOutput());
}
delete cit;
}
model_dprintf(f, "{");
while(it->hasNext()) {
- model_dprintf(f, "%lu ", it->next());
+ model_dprintf(f, "%llu ", it->next());
}
model_dprintf(f, "}");
delete it;
model_dprintf(f,"{");
while(it->hasNext()) {
uint64_t v=it->next();
- model_dprintf(f,"%lu ", v);
+ model_dprintf(f,"%llu ", v);
}
model_dprintf(f,"}");
delete it;