From 707085b2c162fcdb2cd742156f6a56af36d8d5d9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 15 May 2020 18:20:31 -0400
Subject: [PATCH] add basic config for benchpress

---
 tests/benchpress.sexp | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/benchpress.sexp

diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
new file mode 100644
index 00000000..0b48e773
--- /dev/null
+++ b/tests/benchpress.sexp
@@ -0,0 +1,13 @@
+
+(prover
+  (name msat)
+  (synopsis "msat for pure sat problems")
+  (version "git:.")
+  (sat "^Sat")
+  (unsat "^Unsat")
+  (cmd "$cur_dir/../msat.exe -time $timeout $file"))
+
+(dir
+  (path $cur_dir)
+  (pattern ".*\\.cnf")
+  (expect (const unknown)))