SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
asserting.h File Reference
#include <iostream>
Include dependency graph for asserting.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define condAssert(cond, msg)
 

Macro Definition Documentation

◆ condAssert

#define condAssert (   cond,
  msg 
)
Value:
do { \
if (!(cond)) { \
std::cerr << "[" << __FILE__ << ":" << __LINE__ << "] " << msg \
<< std::endl; \
std::abort(); \
} \
} while (0)

Definition at line 35 of file asserting.h.