Fix command for incremental track

SMT-COMP · May 31, 2024 · 6f9e1ab · 6f9e1ab
1 parent c3dc7bc
commit 6f9e1ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/cvc5.json b/submissions/cvc5.json
@@ -56,7 +56,7 @@
           "sha256": "25d7fb5461a5b4b96e75145d95700085db81f3b0f6c7af556b47a2aaf1fbcd96"
         }
       },
-      "command": [ "bin/starexec_run_default" ]
+      "command": [ "bin/smtcomp_run_incremental" ]
     },
     {
       "tracks": [ "Cloud" ],