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

[story] As a user I want to be able to specify the location of the CBMC executable #5

Open
prapicault opened this issue Apr 2, 2014 · 1 comment
Open

[story] As a user I want to be able to specify the location of the CBMC executable #5

prapicault opened this issue Apr 2, 2014 · 1 comment

Comments

@prapicault
Copy link
Contributor

such that if I have not installed CBMC in a standard location, then I can still use this plugin.
@pkesseli
Copy link

This should probably be implemented as a "CBMC root path", since the final plug-in may use more than just the CBMC executable (e.g. goto-cc for pre-compilation). The plug-in should verify whether the required executables exist in the expected sub-paths.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@prapicault @pkesseli