writer.writeInt(node->value);
}
+ void visit(Repr *r) {
+ if (symbolic) {
+ _visit(r->humanValue);
+ } else {
+ _visit(r->machineValue);
+ }
+ }
+
void visit(Call *call) {
writer.beginTuple();
os::setBinaryMode(stdout);
+ std::cout.sync_with_stdio(false);
+
PickleWriter writer(std::cout);
PickleVisitor visitor(writer, symbolic);
trace::Parser parser;
if (!parser.open(argv[i])) {
- std::cerr << "error: failed to open " << argv[i] << "\n";
return 1;
}