X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=config.h;fp=config.h;h=a172d1b78336ec6af7b4b0eec68d7f67cc550ceb;hb=40913ce63d171f125117caab249218839fd4b083;hp=b05bd54fb2771fb9bd8dca7828cf21136bcf04df;hpb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;p=satcheck.git

diff --git a/config.h b/config.h
index b05bd54..a172d1b 100644
--- 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