Update model track.

SMT-COMP · May 7, 2024 · 7b1351f · 7b1351f
1 parent f2cfc58
commit 7b1351f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/content/model/index.md b/web/content/model/index.md
@@ -10,7 +10,7 @@ The format for the model output of some theories is not yet defined by the
 SMTLIB. The following document describes our proposal of such definitions.
 This format will be used by the
 model validator of the SMTLIB for the experimental model validation track of the
-SMTCOMP 2023.
+SMTCOMP 2024.
 
 ## Partial functions