projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix apparent bug...
[satcheck.git]
/
eprecord.cc
diff --git
a/eprecord.cc
b/eprecord.cc
index a87167eacd546be5d87c7c856324b87ce2630bf6..30ece3bb1d706803e32d4028aa4bac305737ab8a 100644
(file)
--- a/
eprecord.cc
+++ b/
eprecord.cc
@@
-158,9
+158,9
@@
void EPRecord::print(int f) {
CGoal *goal=cit->next();
model_dprintf(f,"(");
for(uint i=0;i<getNumFuncInputs();i++) {
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,"%l
l
u ", goal->getValue(i+VC_BASEINDEX));
}
}
- model_dprintf(f,"=> %lu)", goal->getOutput());
+ model_dprintf(f,"=> %l
l
u)", goal->getOutput());
}
delete cit;
}
}
delete cit;
}
@@
-174,7
+174,7
@@
void EPRecord::print(int f) {
model_dprintf(f, "{");
while(it->hasNext()) {
model_dprintf(f, "{");
while(it->hasNext()) {
- model_dprintf(f, "%lu ", it->next());
+ model_dprintf(f, "%l
l
u ", it->next());
}
model_dprintf(f, "}");
delete it;
}
model_dprintf(f, "}");
delete it;
@@
-185,7
+185,7
@@
void EPRecord::print(int f) {
model_dprintf(f,"{");
while(it->hasNext()) {
uint64_t v=it->next();
model_dprintf(f,"{");
while(it->hasNext()) {
uint64_t v=it->next();
- model_dprintf(f,"%lu ", v);
+ model_dprintf(f,"%l
l
u ", v);
}
model_dprintf(f,"}");
delete it;
}
model_dprintf(f,"}");
delete it;