From 4c35899ac3f057d66784e658be5d21582b2d7e9c Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 29 Mar 2019 18:39:34 +0100
Subject: missing config.h

---
 test/monniaux/picosat-965/config.h | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 test/monniaux/picosat-965/config.h

(limited to 'test/monniaux')

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"
-- 
cgit