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

NPE in SymbolicRewriter.rewrite #156

Closed
dwightguth opened this issue Nov 3, 2015 · 1 comment
Closed

NPE in SymbolicRewriter.rewrite #156

dwightguth opened this issue Nov 3, 2015 · 1 comment
Assignees
@andreistefanescu

Comments

@dwightguth
Copy link
Member

It looks to me like if you pass a bound of zero to SymbolicRewriter.rewrite, you end up returning null from the method. In this case it should return the value passed into the function instead.
@dwightguth
Copy link
Member Author

Oops, created this in the wrong repo.

rv-jenkins pushed a commit that referenced this issue May 18, 2016
@traiansf
Syntax error (#173)
eb8f2e1 
* Patch for issue #156

* Update Error type message

* Fixed two regressions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreistefanescu andreistefanescu

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@andreistefanescu @dwightguth