From 951be3511298279896338bcae76047c19549b310 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2019 11:36:45 -0500
Subject: [PATCH] test: fix config for new option format

---
 tests/conf.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/conf.toml b/tests/conf.toml
index 8ec88290..678cd961 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -5,7 +5,7 @@ default_expect = "sat"
 [sidekick]
 
 binary = "./sidekick"
-cmd = "./sidekick -no-check -time $timeout $file"
+cmd = "./sidekick --no-check --time $timeout $file"
 unsat = "Unsat"
 sat = "Sat"
 unknown = "Timeout|Unknown"