update docs and remove unused option
authorbdemsky <bdemsky@uci.edu>
Fri, 16 Dec 2016 20:14:54 +0000 (12:14 -0800)
committerbdemsky <bdemsky@uci.edu>
Fri, 16 Dec 2016 20:14:54 +0000 (12:14 -0800)
config.h
doc/README.txt

index 6ec9b80..b05bd54 100644 (file)
--- a/config.h
+++ b/config.h
  *  printed summary.*/
 //#define SUPPORT_MOD_ORDER_DUMP 1
 
-/** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
- * Set to 1 for 48-bit, 0 for 32-bit. */
-#ifndef BIT48
-#ifdef _LP64
-#define BIT48 1
-#else
-#define BIT48 0
-#endif
-#endif/* BIT48 */
-
 /** Snapshotting configurables */
 
 /**
index 7ea531e..268b9af 100644 (file)
@@ -1,3 +1,5 @@
+I. Getting Started
+
 To run SATCheck, you need to have built a SAT Solver from SATlib.  To
 obtain SATlib (from within the SATCheck directory):
 
@@ -13,3 +15,15 @@ Then you can build SATCheck.  Simply type make from within the main
 SATCheck directory.
 
 One might find the options in config.h useful.
+
+
+II. Printing Event Graphs
+
+Uncomment DUMP_EVENT_GRAPHS in config.h
+
+Make clean and the remake the system.
+
+Run the model checker.
+
+Use dot (from graphviz) to convert the outputted dot files into the
+format of your choice.