SAT Solver Template
Loading...
Searching...
No Matches
Solver
util
assert.hpp
Go to the documentation of this file.
1
/**
2
* @author Tim Luchterhand
3
* @date 29.11.24
4
* @file assert.hpp
5
* @brief Wrapper around the classic C assert that always evaluates an expression but only checks the result in debug
6
* mode
7
*/
8
9
#
ifndef
ASSERT_HPP
10
#
define
ASSERT_HPP
11
12
#
include
<
cassert
>
13
14
#
ifdef
NDEBUG
15
#
define
ASSERT_RESULT
(
expr
)
expr
;
16
#
else
17
#
define
ASSERT_RESULT
(
expr
)
assert
(
expr
)
18
#
endif
19
20
21
#
endif
//ASSERT_HPP
Generated by
1.9.8