Line data Source code
1 : // Copyright (c) 2022 Made to Order Software Corp. All Rights Reserved
2 : //
3 : // https://snapwebsites.org/project/snapdev
4 : // contact@m2osw.com
5 : //
6 : // This program is free software; you can redistribute it and/or modify
7 : // it under the terms of the GNU General Public License as published by
8 : // the Free Software Foundation; either version 2 of the License, or
9 : // (at your option) any later version.
10 : //
11 : // This program is distributed in the hope that it will be useful,
12 : // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 : // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 : // GNU General Public License for more details.
15 : //
16 : // You should have received a copy of the GNU General Public License along
17 : // with this program; if not, write to the Free Software Foundation, Inc.,
18 : // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
19 :
20 : /** \file
21 : * \brief Verify that the SAFE_ASSERT function works.
22 : *
23 : * This file verifies we can use the SAFE_ASSERT function as expected.
24 : */
25 :
26 : // self
27 : //
28 : #include <snapdev/safe_assert.h>
29 :
30 : #include "catch_main.h"
31 :
32 :
33 : // last include
34 : //
35 : #include <snapdev/poison.h>
36 :
37 :
38 :
39 :
40 3 : CATCH_TEST_CASE("safe_assert", "[foo]")
41 : {
42 2 : CATCH_START_SECTION("safe_assert: make sure assert can pass")
43 : {
44 1 : constexpr bool valid(true);
45 1 : snapdev::SAFE_ASSERT(valid, "this works");
46 1 : CATCH_REQUIRE(valid);
47 : }
48 : CATCH_END_SECTION()
49 :
50 : #ifdef NDEBUG
51 : CATCH_START_SECTION("safe_assert: test invalid assert in Release mode")
52 : {
53 : constexpr bool invalid(false);
54 : snapdev::SAFE_ASSERT(invalid, "this \"passes\"", ", but really it's not compiled in in Release mode");
55 : CATCH_REQUIRE_FALSE(invalid);
56 : }
57 : CATCH_END_SECTION()
58 : #endif
59 7 : }
60 :
61 :
62 :
63 : // vim: ts=4 sw=4 et
|