| 100 | } |
| 101 | |
| 102 | void |
| 103 | ReducerOutputMgr::OutputHeader(int argc, char *argv[], unsigned long /*seed*/) |
| 104 | { |
| 105 | // output shortened header: csmith options + random_inc.h include |
| 106 | ostream& out = get_main_out(); |
| 107 | out << "// Options: "; |
| 108 | if (argc <= 1) { |
| 109 | out << " (none)"; |
| 110 | } else { |
| 111 | for (int i = 1; i < argc; ++i) { |
| 112 | out << " " << argv[i]; |
| 113 | } |
| 114 | } |
| 115 | out << endl; |
| 116 | out << "#include \"csmith.h\"" << endl << endl; |
| 117 | } |
| 118 | |
| 119 | void |
| 120 | ReducerOutputMgr::output_var(const Variable* v, std::ostream &out, int indent) |
nothing calls this directly
no outgoing calls
no test coverage detected