Function formatDuration

lib/catch2/catch.hpp:16847–16851

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();
        }

    } // anonymous namespace