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

Bug in QUANT_EXPR.sample() #2

Open

GoogleCodeExporter opened this issue Jun 19, 2015 · 0 comments

Labels

auto-migrated Priority-Medium Type-Defect

GoogleCodeExporter commented Jun 19, 2015

The problem is in Line 1851: // Early cutoff detection
where the short circuiting of forall and exists takes place
but the code return true/false immediately
it should also clear the substitutions (variable name subs) which is in line 
1858.
Seems to be an unwanted side effect. Did you intend it to be this way ?

Original issue reported on code.google.com by [email protected] on 3 Aug 2011 at 7:43

The text was updated successfully, but these errors were encountered:

GoogleCodeExporter added Priority-Medium Type-Defect auto-migrated labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment