Fix plat-smt.json logics

SMT-COMP · Jun 4, 2024 · 70e5237 · 70e5237
1 parent 09b40f8
commit 70e5237
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/submissions/plat-smt.json b/submissions/plat-smt.json
@@ -16,20 +16,20 @@
   "participations": [
     {
       "tracks": ["SingleQuery"],
-      "logics": "ˆQF_UF"
+      "logics": ["QF_UF"]
     },
     {
       "tracks": ["Incremental"],
-      "logics": "ˆQF_UF",
+      "logics": ["QF_UF"],
       "command": ["./plat-smt", "-i"]
     },
     {
       "tracks": ["UnsatCore"],
-      "logics": "ˆQF_UF"
+      "logics": ["QF_UF"]
     },
     {
       "tracks": ["ModelValidation"],
-      "logics": "ˆQF_UF"
+      "logics": ["QF_UF"]
     }
   ]
 }