Update ostrich.json

Fixed command line
SMT-COMP · May 30, 2024 · 1a0fa35 · 1a0fa35
1 parent 780a5ab
commit 1a0fa35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/ostrich.json b/submissions/ostrich.json
@@ -18,7 +18,7 @@
     },
     "website": "https://github.com/uuverifiers/ostrich",
     "system_description": "https://philipp.ruemmer.org/ostrich-2024.pdf",
-    "command": ["./ostrich -portfolio=strings +quiet"],
+    "command": ["./ostrich", "-portfolio=strings", "+quiet"],
     "solver_type": "Standalone",
     "seed": "753",
     "participations": [