Merged from develop branchv1.3.0

- now v1.3.0

1 files changed, 10 insertions, 0 deletions

diff --git a/include/internal/catch_common.h b/include/internal/catch_common.h
index 9f07e47c..7f9cfc44 100644
--- a/include/internal/catch_common.h
+++ b/include/internal/catch_common.h
@@ -23,6 +23,13 @@
 
 namespace Catch {
 
+    struct IConfig;
+
+    struct CaseSensitive { enum Choice {
+        Yes,
+        No
+    }; };
+
     class NonCopyable {
 #ifdef CATCH_CONFIG_CPP11_GENERATED_METHODS
         NonCopyable( NonCopyable const& )              = delete;
@@ -109,6 +116,9 @@ namespace Catch {
 
     void throwLogicError( std::string const& message, SourceLineInfo const& locationInfo );
 
+    void seedRng( IConfig const& config );
+    unsigned int rngSeed();
+
     // Use this in variadic streaming macros to allow
     //    >> +StreamEndStop
     // as well as