| 1713 | |
| 1714 | template <class Ratio> |
| 1715 | std::string ratio_string<Ratio>::symbol() { |
| 1716 | Catch::ReusableStringStream rss; |
| 1717 | rss << '[' << Ratio::num << '/' |
| 1718 | << Ratio::den << ']'; |
| 1719 | return rss.str(); |
| 1720 | } |
| 1721 | template <> |
| 1722 | struct ratio_string<std::atto> { |
| 1723 | static std::string symbol(); |