SAT Solver Template
Loading...
Searching...
No Matches
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