Skip to content

Getting version from Pono#1157

Merged
PhilippWendler merged 4 commits into
sosy-lab:mainfrom
Po-Chun-Chien:pono-get-version
Apr 9, 2025
Merged

Getting version from Pono#1157
PhilippWendler merged 4 commits into
sosy-lab:mainfrom
Po-Chun-Chien:pono-get-version

Conversation

@Po-Chun-Chien
Copy link
Copy Markdown
Member

Since ./pono --version has non-zero exit code,
a new option expected_exitcode is introduced in _version_from_tool().

If such a change is not desirable,
I could write a custom function for Pono,
instead of reusing the existing one.

The flag "--version" is now supported in Pono
(see stanford-centaur/pono#372).
Some tools (e.g., Pono) returns non-zero exit code when executed with the flag "--version".
A new option is introduced in _version_from_tool() to specify the expected exit code.
This change is backward compatible.
Comment thread benchexec/tools/template.py
@PhilippWendler PhilippWendler merged commit dc9f7e0 into sosy-lab:main Apr 9, 2025
7 checks passed
@Po-Chun-Chien Po-Chun-Chien deleted the pono-get-version branch April 25, 2025 22:50
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