Ultimate: add new expected launcher JAR

ultimate-pa · Nov 6, 2024 · 343059b · 343059b
1 parent 79ed29a
commit 343059b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
@@ -30,6 +30,7 @@
 _LAUNCHER_JARS = [
     "plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar",
     "plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar",
+    "plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar",
 ]