diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/picosat-965/config.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/config.h b/test/monniaux/picosat-965/config.h new file mode 100644 index 00000000..36ffc6b6 --- /dev/null +++ b/test/monniaux/picosat-965/config.h @@ -0,0 +1,3 @@ +#define PICOSAT_CC "../../../ccomp" +#define PICOSAT_CFLAGS "-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE" +#define PICOSAT_VERSION "965" |