| 80 | } |
| 81 | |
| 82 | void |
| 83 | KleeExtension::OutputHeader(std::ostream &out) |
| 84 | { |
| 85 | out << "#include \"klee/klee.h\"" << endl; |
| 86 | } |
| 87 | |
| 88 | void |
| 89 | KleeExtension::OutputTail(std::ostream &out) |
nothing calls this directly
no outgoing calls
no test coverage detected