Adding API for AtMostOneConstraint + bugfix for turning off the optimizations
[satune.git] / src / common.cc
1 #include "common.h"
2 #include <stdio.h>
3 #include <execinfo.h>
4 #include <signal.h>
5 #include <stdlib.h>
6 #include <unistd.h>
7
8 void assert_hook(void)
9 {
10         model_print("Add breakpoint to line %u in file %s.\n", __LINE__, __FILE__);
11 }
12
13 void print_trace(void){
14         void *array[10];
15         size_t size;
16         size = backtrace(array, 10);
17         backtrace_symbols_fd(array, size, STDERR_FILENO);       
18 }