From f28f1ff6a31068dedf27ac26fbb8d988cc7db2a3 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Fri, 16 Dec 2016 12:14:54 -0800 Subject: [PATCH] update docs and remove unused option --- config.h | 10 ---------- doc/README.txt | 14 ++++++++++++++ 2 files changed, 14 insertions(+), 10 deletions(-) diff --git a/config.h b/config.h index 6ec9b80..b05bd54 100644 --- a/config.h +++ b/config.h @@ -29,16 +29,6 @@ * 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 */ /** diff --git a/doc/README.txt b/doc/README.txt index 7ea531e..268b9af 100644 --- a/doc/README.txt +++ b/doc/README.txt @@ -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. -- 2.34.1