3rd-party
/
catch2
mirror of https://github.com/catchorg/Catch2.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Regenerated header

This commit is contained in:
Phil Nash 2012-09-20 08:36:38 +01:00
parent 9d8570ff80
commit 1840929c51
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
single_include/catch.hpp
View File

@ -1,5 +1,5 @@
/* /*
* Generated: 2012-09-15 17:50:31.695760 * Generated: 2012-09-20 08:36:21.042619
* ---------------------------------------------------------- * ----------------------------------------------------------
* This file has been merged from multiple headers. Please don't edit it directly * This file has been merged from multiple headers. Please don't edit it directly
* Copyright (c) 2012 Two Blue Cubes Ltd. All rights reserved. * Copyright (c) 2012 Two Blue Cubes Ltd. All rights reserved.
@ -2007,10 +2007,20 @@ namespace Catch
fullConfig( _fullConfig ) fullConfig( _fullConfig )
{} {}
ReporterConfig( const ReporterConfig& other )
: name( other.name ),
stream( other.stream ),
includeSuccessfulResults( other.includeSuccessfulResults ),
fullConfig( other.fullConfig )
{}
std::string name; std::string name;
std::ostream& stream; std::ostream& stream;
bool includeSuccessfulResults; bool includeSuccessfulResults;
ConfigData fullConfig; ConfigData fullConfig;
private:
void operator=(const ReporterConfig&);
}; };
class TestCaseInfo; class TestCaseInfo;