Skip to content

For goto-binaries, --show-reachable-properties always starts from main(), even if --function is given #176

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
Closed
peterschrammel opened this issue Jul 18, 2016 · 2 comments
Closed

For goto-binaries, --show-reachable-properties always starts from main(), even if --function is given #176

peterschrammel opened this issue Jul 18, 2016 · 2 comments
Labels
bug Instrumentations

Comments

@peterschrammel
Copy link
Member

No description provided.

@peterschrammel peterschrammel changed the title For goto-binaries --show-reachable-properties always starts from main(), even if --function is given For goto-binaries, --show-reachable-properties always starts from main(), even if --function is given Jul 18, 2016
@thk123 thk123 mentioned this issue Dec 8, 2016
Merged
@thk123
Copy link
Contributor

thk123 commented Dec 8, 2016

#338 fixes this issue as well.

smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@NathanJPhillips
Merge pull request diffblue#176 from diffblue/bugfix/unnecessary-irep…
816e792 
…idt-cast

Don't convert from string to irep_idt unnecessarily
@peterschrammel
Copy link
Member Author

Fixed.

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

No branches or pull requests
2 participants
@thk123 @peterschrammel