From 27937b664af2d30259aa6b2e3ae58ebf9e7a2641 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 23 Jun 2023 21:26:55 -0400
Subject: [PATCH] fix benchpress config

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

diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index 22a52076..138138bd 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -60,13 +60,5 @@
       (timeout 10)
       (dirs ()))))
 
-(task
-  (name sidekick-smt-all)
-  (action
-    (run_provers
-      (provers (sidekick-dev z3))
-      (timeout 10)
-      (dirs ($HOME/workspace/smtlib)))))
-
 (set-options (progress true))