Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / config.h
1 /*      Copyright (c) 2015 Regents of the University of California
2  *
3  *      Author: Brian Demsky <bdemsky@uci.edu>
4  *
5  *      This program is free software; you can redistribute it and/or
6  *      modify it under the terms of the GNU General Public License
7  *      version 2 as published by the Free Software Foundation.
8  */
9
10 /** @file config.h
11  * @brief Configuration file.
12  */
13
14 #ifndef SATC_CONFIG_H
15 #define SATC_CONFIG_H
16
17 /** Turn on debugging. */
18 #ifndef CONFIG_DEBUG
19 //#define CONFIG_DEBUG
20 #endif
21
22 #ifndef CONFIG_ASSERT
23 #define CONFIG_ASSERT
24 #endif
25
26 #endif