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

Update error handling in case of missing analyzers #2557

Open
gyorb opened this issue Feb 7, 2020 · 0 comments
Open

Update error handling in case of missing analyzers #2557

gyorb opened this issue Feb 7, 2020 · 0 comments
Labels
analyzer 📈 Related to the analyze commands (analysis driver) enhancement 🌟

Comments

@gyorb
Copy link
Contributor

gyorb commented Feb 7, 2020

The changes done in #2506 and #2532 could be updated.
In the upcoming change to print out the options (ctu, z3 ... #2432) even if they are not supported the functions with the error handling introduced in (#2506, #2532) will not be called.
The error handling needs to be moved to some other place.
@gyorb gyorb added enhancement 🌟 analyzer 📈 Related to the analyze commands (analysis driver) labels Feb 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
analyzer 📈 Related to the analyze commands (analysis driver) enhancement 🌟
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gyorb