From a614fdb2e1e30277e6b0c9c19e63303260e09d04 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 7 Dec 2021 10:16:09 -0500
Subject: [PATCH] update benchpress file

---
 tests/benchpress.sexp | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index b14b2833..48521f35 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -16,33 +16,33 @@
   (name sidekick-smt-quick)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $cur_dir/sat $cur_dir/unsat $cur_dir/pigeon))))
+      (dirs ($cur_dir/sat $cur_dir/unsat $cur_dir/pigeon)))))
 
 (task
   (name sidekick-smt-local)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $cur_dir/))))
+      (dirs ($cur_dir/)))))
 
 (task
   (name sidekick-smt-nodir)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs))))
+      (dirs ()))))
 
 (task
   (name sidekick-smt-all)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $HOME/workspace/smtlib))))
+      (dirs ($HOME/workspace/smtlib)))))
 
 (set-options (progress true))