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

mzn2fzn crashes when dealing with float vars #117

claudix opened this Issue Sep 9, 2016 · 2 comments


None yet
3 participants

claudix commented Sep 9, 2016

The simple program below makes mzn2fzn crash: Windows application crash message appears and IDE shows the message "Unknown error while executing the MiniZinc interpreter mzn2fzn: error code 1".

array[1..2] of var {5.0, 6.0}: v;  
constraint v[1] + v[2] > 0;
solve satisfy;

This comment has been minimized.

a1880 commented Sep 11, 2016

I have run this snippet with mzn2fzn version 2.0.14 under Windows 7, 64bit

mzn2fzn --verbose xxx.mzn

The output is:

Parsing 'xxx.mzn'
processing file 'xxx.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/stdlib.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/builtins.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/redefinitions-2.0.2.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/redefinitions-2.0.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/redefinitions.mzn'
processing file 'C:\AK\Programme\MiniZinc_IDE_2.0.14/share/minizinc/std/flatzinc_builtins.mzn'
Done parsing (30 ms)
Typechecking ... done (6 ms)
Flattening ...

Then, an exception occurs and the program comes to an end.

In Visual Studio 2015, the error message ist:

Unhandled exception at 0x01445033 in mzn2fzn.exe: 0xC0000005: Access violation reading location 0x0000001C.


This comment has been minimized.


guidotack commented Oct 11, 2016

This has been fixed in a478cf5.

@guidotack guidotack closed this Feb 2, 2017

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