[2.8.0] Negated N-ary forall constraint with concatenation causes segmentation fault

[IgnaceBleukx]

Hi,

I am using MiniZinc to solve the following model:

var bool: a;
var bool: b;
var bool: c;
var bool: d;

constraint not(forall([a \/ b] ++ [c \/ d]));

When compiling, this results in a segmentation fault:

>>MiniZinc error: Memory violation detected (segmentation fault). This is a bug. Please file a bug report using the MiniZinc bug tracker. Process finished with non-zero exit code 6. Finished in 231msec.

I know this is quite strange use of the forall and concatenation operators, but I would still expect this model to work as it is within spec?

When removing the concatenation and replacing it with a single list, or removing the negation, the model works fine.

Kind regards,
Ignace

[cyderize]

This should now be fixed in 2.8.1