| 72 | } |
| 73 | |
| 74 | void |
| 75 | DFSOutputMgr::OutputHeader(int argc, char *argv[], unsigned long seed) |
| 76 | { |
| 77 | if (!CGOptions::compact_output()) |
| 78 | OutputMgr::OutputHeader(argc, argv, seed); |
| 79 | } |
| 80 | |
| 81 | void |
| 82 | DFSOutputMgr::OutputStructUnions(ostream& /*out*/) |
nothing calls this directly
no outgoing calls
no test coverage detected