| 10501 | ITransientExpression::~ITransientExpression() = default; |
| 10502 | |
| 10503 | void formatReconstructedExpression( std::ostream &os, std::string const& lhs, StringRef op, std::string const& rhs ) { |
| 10504 | if( lhs.size() + rhs.size() < 40 && |
| 10505 | lhs.find('\n') == std::string::npos && |
| 10506 | rhs.find('\n') == std::string::npos ) |
| 10507 | os << lhs << " " << op << " " << rhs; |
| 10508 | else |
| 10509 | os << lhs << "\n" << op << "\n" << rhs; |
| 10510 | } |
| 10511 | } |
| 10512 | // end catch_decomposer.cpp |
| 10513 | // start catch_enforce.cpp |
no test coverage detected