|
SAT Solver Template
|
Wrapper around the classic C assert that always evaluates an expression but only checks the result in debug mode. More...
#include <cassert>
Go to the source code of this file.
Macros | |
| #define | ASSERT_RESULT(expr) assert(expr) |
Wrapper around the classic C assert that always evaluates an expression but only checks the result in debug mode.