Function formatDuration

extras/catch_amalgamated.cpp:11043–11047

Formats the duration in seconds to 3 decimal places. This is done because some genius defined Maven Surefire schema in a way that only accepts 3 decimal places, and tools like Jenkins use that schema for validation JUnit reporter output.

        // in a way that only accepts 3 decimal places, and tools like
        // Jenkins use that schema for validation JUnit reporter output.
        std::string formatDuration( double seconds ) {
            ReusableStringStream rss;
            rss << std::fixed << std::setprecision( 3 ) << seconds;
            return rss.str();
        }

        static void normalizeNamespaceMarkers(std::string& str) {
            std::size_t pos = str.find( "::" );