projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
schedule: use STL 'queue' instead of 'list'
[model-checker.git]
/
common.h
1
#ifndef __CONFIG_H__
2
#define __CONFIG_H__
3
4
#include <stdio.h>
5
6
//#define CONFIG_DEBUG
7
8
#ifdef CONFIG_DEBUG
9
#define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)
10
#define DBG() DEBUG("\n");
11
#else
12
#define DEBUG(fmt, ...)
13
#define DBG()
14
#endif
15
16
#endif /* __CONFIG_H__ */