| 131 | } |
| 132 | |
| 133 | void |
| 134 | CoverageTestExtension::OutputInit(std::ostream &out) |
| 135 | { |
| 136 | out << "int main(void)" << endl; |
| 137 | out << "{" << endl; |
| 138 | output_decls(out); |
| 139 | //output_array_init(out); |
| 140 | } |
| 141 | |
| 142 | void |
| 143 | CoverageTestExtension::OutputHeader(std::ostream &) |
nothing calls this directly
no outgoing calls
no test coverage detected