3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-12-22 19:33:29 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixup missing transitive includes

Browse Source 
Found after updating to newest MSVC...
This commit is contained in:
Martin Hořeňovský 2020-08-08 14:40:54 +02:00
parent e7aa432850
commit b824d06844
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
3 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/catch2/benchmark/detail/catch_stats.cpp
View File

@ -13,6 +13,7 @@
#include <catch2/internal/catch_compiler_capabilities.hpp>
#include <cassert>
#include <iterator>
#include <random>

1
src/catch2/catch_session.cpp
View File

@ -21,6 +21,7 @@
#include <catch2/internal/catch_windows_h_proxy.hpp>
#include <catch2/reporters/catch_reporter_listening.hpp>
#include <algorithm>
#include <iomanip>
#include <set>

5
src/catch2/interfaces/catch_interfaces_reporter.hpp
View File

@ -25,7 +25,6 @@
#include <vector>
#include <iosfwd>
#include <map>
#include <algorithm>
namespace Catch {
@ -164,7 +163,9 @@ namespace Catch {
operator BenchmarkStats<Duration2>() const {
std::vector<Duration2> samples2;
samples2.reserve(samples.size());
std::transform(samples.begin(), samples.end(), std::back_inserter(samples2), [](Duration d) { return Duration2(d); });
for (auto const& sample : samples) {
samples2.push_back(Duration2(sample));
}
return {
info,
std::move(samples2),