Join GitHub today
Bad code generation from certain constraints #1164
The following code generates two separate errors regarding the [i >= 0]
For the first case the wrong variable is accessed; for the second case, only one of the constraints is checked.
See also issue #89 which is the general issue.
We have discovered that errors 28 and 29 are not being raised and the tests are commented out
I discovered that the detecting of missing errors occurred between
The commit to blame is here:
The test for error 28 is still there but it has an @ignore on it! Added by
which also replaced a whole chunk of code in
that was supposed to be doing the analysis.