projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
another benchmark
[satcheck.git]
/
config.h
diff --git
a/config.h
b/config.h
index b05bd54fb2771fb9bd8dca7828cf21136bcf04df..a172d1b78336ec6af7b4b0eec68d7f67cc550ceb 100644
(file)
--- a/
config.h
+++ b/
config.h
@@
-48,6
+48,9
@@
/* Size of stack to allocate for a thread. */
#define STACK_SIZE (1024 * 1024)
+/** Dump schedule extracted from SAT Solution */
+//#define DUMP_SAT_SCHEDULE
+
/** Enable debugging assertions (via ASSERT()) */
//#define CONFIG_ASSERT