Adding executable compiled in Docker environment

SMT-COMP · Jun 13, 2024 · 80aa168 · 80aa168
1 parent f8a81bf
commit 80aa168
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/algaroba.json b/submissions/algaroba.json
@@ -7,7 +7,7 @@
     ],
     "contacts": ["Amar Shah <[email protected]>"],
     "archive": {
-        "url": "https://github.com/user-attachments/files/15804020/algaroba.tar.gz"
+        "url": "https://github.com/user-attachments/files/15816867/algaroba.tar.gz"
     },
     "website": "https://github.com/uclid-org/algaroba",
     "system_description": "https://github.com/uclid-org/algaroba/files/15255360/Algaroba_at_the_2024_SMTCOMP.pdf",