| 12250 | ITransientExpression::~ITransientExpression() = default; |
| 12251 | |
| 12252 | void formatReconstructedExpression(std::ostream &os, std::string const &lhs, |
| 12253 | StringRef op, std::string const &rhs) |
| 12254 | { |
| 12255 | if (lhs.size() + rhs.size() < 40 && |
| 12256 | lhs.find('\n') == std::string::npos && |
| 12257 | rhs.find('\n') == std::string::npos) |
| 12258 | os << lhs << " " << op << " " << rhs; |
| 12259 | else |
| 12260 | os << lhs << "\n" << op << "\n" << rhs; |
| 12261 | } |
| 12262 | } |
| 12263 | // end catch_decomposer.cpp |
| 12264 | // start catch_enforce.cpp |
no test coverage detected