Update sv-comp/archive.sh for 2024

goblint · Nov 1, 2023 · ce917e6 · ce917e6
1 parent 95ee32e
commit ce917e6
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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 \