From ce917e639d88c0777cd929de635c030fe060cf2b Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 1 Nov 2023 13:13:52 +0200
Subject: [PATCH] Update sv-comp/archive.sh for 2024

---
 sv-comp/archive.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sv-comp/archive.sh b/sv-comp/archive.sh
index 9bab49f70d..87dcd75eb9 100755
--- a/sv-comp/archive.sh
+++ b/sv-comp/archive.sh
@@ -4,7 +4,7 @@
 
 make clean
 
-git tag -m "SV-COMP 2023" svcomp23
+git tag -m "SV-COMP 2024" svcomp24
 
 dune build --profile=release src/goblint.exe
 rm -f goblint
@@ -32,7 +32,8 @@ zip goblint/sv-comp/goblint.zip \
     goblint/lib/libboxD.so \
     goblint/lib/libpolkaMPQ.so \
     goblint/lib/LICENSE.APRON \
-    goblint/conf/svcomp23.json \
+    goblint/conf/svcomp24.json \
+    goblint/conf/svcomp24-validate.json \
     goblint/lib/libc/stub/include/assert.h \
     goblint/lib/goblint/runtime/include/goblint.h \
     goblint/lib/libc/stub/src/stdlib.c \