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.

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

Missing var declaration in flatzinc #70

jim-carciofini opened this Issue Dec 8, 2015 · 0 comments


None yet
1 participant

jim-carciofini commented Dec 8, 2015

With Minizinc 2.0.9, the following input

var int: killed;
constraint killed = bool2int(eFailureModes = 1);

var int: eFailureModes;
constraint eFailureModes = 1;

solve satisfy;

results in the following incorrect FlatZinc.

var 0..1: killed:: output_var:: is_defined_var;
constraint bool2int(X_INTRODUCED_0,killed):: defines_var(killed);
solve  satisfy;

The declaration for X_INTRODUCED_0 is missing. I tripped on this bug with a much more complex MiniZinc input. I was able to prune it down to this example to highlight the bug.

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