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

Check that all variables are defined before starting symbolic simulation. #166

Closed
ntc2 opened this issue Aug 18, 2016 · 0 comments
Closed

Check that all variables are defined before starting symbolic simulation. #166

ntc2 opened this issue Aug 18, 2016 · 0 comments
Labels
obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing type: bug Issues reporting bugs or unexpected/unwanted behavior wontfix Closed issues that we decided not to fix, but are still potentially relevant

Comments

@ntc2
Copy link
Contributor

ntc2 commented Aug 18, 2016

I just forgot an llvm_var statement a got a confusing error message. I improved it here:

GaloisInc/llvm-verifier@e6ef7dd

But it would probably be better to catch such errors earlier.
@atomb atomb added the type: bug Issues reporting bugs or unexpected/unwanted behavior label May 2, 2017
@atomb atomb added obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing wontfix Closed issues that we decided not to fix, but are still potentially relevant labels Apr 2, 2019
@atomb atomb closed this as completed Apr 2, 2019
brianhuffman pushed a commit that referenced this issue Apr 26, 2021
Merge pull request #166 from GaloisInc/openterm
f3ad871 
Additions to OpenTerm module from wip-heapster
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
obsolete Issues that involve/depend on deprecated code, such that they are not worth pursuing type: bug Issues reporting bugs or unexpected/unwanted behavior wontfix Closed issues that we decided not to fix, but are still potentially relevant
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ntc2 @atomb