| 22 | namespace CVC4 { |
| 23 | |
| 24 | FatalStream::FatalStream(const char* function, const char* file, int line) |
| 25 | { |
| 26 | stream() << "Fatal failure within " << function << " at " << file << ":" |
| 27 | << line << "\n"; |
| 28 | } |
| 29 | |
| 30 | FatalStream::~FatalStream() |
| 31 | { |
nothing calls this directly
no outgoing calls
no test coverage detected