Minizinc segfaults with Run+check from GUI

[PerMildner]

I have model file and accompanying project that crashes minizinc (2.7.0, 2.7.1) on macOS with segmentation fault.

The model, project, and checker originates with a Coursera course, so I do not want to post the reproducer publicly.

I have attached a crashdump but unfortunately there is no debug info in the minizinc executable, it seems.

crashdump.txt

Let me know and I can send an archive that reproduce the problem.

[Dekker1]

I don't think we can easily locate the problem without the model instance. Could you email the model and a data file where it happens to my email, jip <dot> dekker <at> monash <dot> edu?

[Dekker1]

Resolved by 30f996c