18c7d26bae99f934f6beaacadef4b37190320966
[qpalma.git] / dyn_prog / debug_tools.cpp
1 #include <cstdio>
2 #include <cstdlib>
3 #include "debug_tools.h"
4 using namespace std;
5
6 void fassert(bool exp,int line, char* file) {
7 if (! exp) {
8 printf("invalid fassert at line %d in file %s!\n",line,file);
9 exit(EXIT_FAILURE);
10 }
11 }