| 88 | } |
| 89 | |
| 90 | void |
| 91 | CrestExtension::OutputInit(std::ostream &out) |
| 92 | { |
| 93 | out << "int main(void)" << endl; |
| 94 | out << "{" << endl; |
| 95 | AbsExtension::default_output_definitions(out, values_, false); |
| 96 | output_symbolics(out); |
| 97 | } |
| 98 | |
| 99 | void |
| 100 | CrestExtension::OutputHeader(std::ostream &out) |
nothing calls this directly
no outgoing calls
no test coverage detected