From bc524d70253a4ab2fe40c3ca3e5666e267c0a4d1 Mon Sep 17 00:00:00 2001
From: Lexi Winter <lexi@le-fay.org>
Date: Sun, 29 Jun 2025 19:25:29 +0100
Subject: import catch2 3.8.1

---
 tests/ExtraTests/X05-DeferredStaticChecks.cpp | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/ExtraTests/X05-DeferredStaticChecks.cpp

(limited to 'tests/ExtraTests/X05-DeferredStaticChecks.cpp')

diff --git a/tests/ExtraTests/X05-DeferredStaticChecks.cpp b/tests/ExtraTests/X05-DeferredStaticChecks.cpp
new file mode 100644
index 0000000..8005dbc
--- /dev/null
+++ b/tests/ExtraTests/X05-DeferredStaticChecks.cpp
@@ -0,0 +1,21 @@
+
+//              Copyright Catch2 Authors
+// Distributed under the Boost Software License, Version 1.0.
+//   (See accompanying file LICENSE.txt or copy at
+//        https://www.boost.org/LICENSE_1_0.txt)
+
+// SPDX-License-Identifier: BSL-1.0
+
+/**\file
+ * Checks that when `STATIC_CHECK` is deferred to runtime and fails, it
+ * does not abort the test case.
+ */
+
+#include <catch2/catch_test_macros.hpp>
+
+TEST_CASE("Deferred static checks") {
+    STATIC_CHECK(1 == 2);
+    STATIC_CHECK_FALSE(1 != 2);
+    // This last assertion must be executed too
+    CHECK(1 == 2);
+}
-- 
cgit v1.2.3