Skip to content

Ultimate toolinfo-module: Use wildcard matching for launcher JARs#1263

Merged
PhilippWendler merged 3 commits intososy-lab:mainfrom
ultimate-pa:ultimate-launcher-jars
Apr 21, 2026
Merged

Ultimate toolinfo-module: Use wildcard matching for launcher JARs#1263
PhilippWendler merged 3 commits intososy-lab:mainfrom
ultimate-pa:ultimate-launcher-jars

Conversation

@schuessf
Copy link
Copy Markdown
Contributor

Using a glob pattern with a wildcard instead of checking for the precise version of org.eclipse.equinox.launcher ensures that future dependency updates to Ultimate no longer require any changes here.

Using a glob pattern with a wildcard instead of checking for the precise version of org.eclipse.equinox.launcher
ensures that future dependency updates to Ultimate no longer require any changes here.
Copy link
Copy Markdown
Member

@PhilippWendler PhilippWendler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just two small suggestions.

Comment thread benchexec/tools/ultimate.py Outdated
Comment thread benchexec/tools/ultimate.py Outdated
@PhilippWendler PhilippWendler merged commit 5f507cc into sosy-lab:main Apr 21, 2026
6 of 7 checks passed
@schuessf schuessf deleted the ultimate-launcher-jars branch April 21, 2026 08:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants