Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve the tool-info modules of ABC and AVR #944

Merged
merged 5 commits into from
Nov 2, 2023
Merged

Improve the tool-info modules of ABC and AVR #944

merged 5 commits into from
Nov 2, 2023

Conversation

Po-Chun-Chien
Copy link
Member

Changes include:

  • add REQUIRED_PATHS attributes for ABC and AVR
  • parse version of ABC
  • pass resource limits to AVR's command lines

PhilippWendler
PhilippWendler reviewed Nov 2, 2023
View reviewed changes
benchexec/tools/avr.py Show resolved Hide resolved
benchexec/tools/avr.py Outdated Show resolved Hide resolved
@PhilippWendler PhilippWendler merged commit b7dcb59 into sosy-lab:main Nov 2, 2023
3 checks passed
@Po-Chun-Chien Po-Chun-Chien deleted the improve-abc-avr-tool-info branch November 2, 2023 15:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@PhilippWendler PhilippWendler PhilippWendler left review comments

Assignees
No one assigned
Labels
tool support
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Po-Chun-Chien @PhilippWendler