diff options
| author | Leitwolf11 | 2026-09-24 22:07:03 +0300 |
|---|---|---|
| committer | Leitwolf11 | 2026-09-24 22:07:03 +0300 |
| commit | 9ad804cedf4cc4a85ef89fe097f97a3b44654360 (patch) | |
| tree | f088e919776b22d19387377bdbec727daa2429c0 /src/Progmasoft/Catch3.hpp | |
| parent | 02f8b5593a15cdec8558256e6f40a0c7fb5862d6 (diff) | |
| download | catch3-0.1.0.tar.gz | |
Add Progmasoft Catch3 property testing and build support0.1.0
Introduce deterministic property execution, built-in generators, shrinking, replayable seeds, and a separate Progmasoft-owned header API while preserving Catch2 compatibility targets and the C++14 engine baseline.
Add Bazel, Meson, Xmake, and Premake integration and tests alongside the existing CMake build. Replace Linux-only workflow coverage with Windows and macOS jobs and document the Catch2/Catch3 distinction.
Diffstat (limited to 'src/Progmasoft/Catch3.hpp')
| -rw-r--r-- | src/Progmasoft/Catch3.hpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/Progmasoft/Catch3.hpp b/src/Progmasoft/Catch3.hpp new file mode 100644 index 00000000..1ae73e53 --- /dev/null +++ b/src/Progmasoft/Catch3.hpp @@ -0,0 +1,13 @@ +// Copyright (c) 2026 Progmasoft. +// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1 +#pragma once + +// Convenience include: prefer narrow headers when compile time matters. +#include <catch2/catch_all.hpp> + +#include <Progmasoft/Catch3/Assertions.hpp> +#include <Progmasoft/Catch3/Generator.hpp> +#include <Progmasoft/Catch3/Generators/Boolean.hpp> +#include <Progmasoft/Catch3/Generators/Integer.hpp> +#include <Progmasoft/Catch3/Property.hpp> +#include <Progmasoft/Catch3/Random.hpp> |