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"