Memory violation detected (segmentation fault) using latest-alpine Docker image

[alastairandrew]

I've encountered a hard MiniZinc failure when using the minizinc/minizinc:latest-alpine Docker image. Interestingly, this doesn't occur on the regular minizinc/minizinc:latest image.

The error message states This is a bug. Please file a bug report using the MiniZinc bug tracker.. Apologies if this particular repo isn't the right one.

I've attached a .zip containing the (failing) Dockerfile, my .mzn model, and an example .json data file.

docker build -t bug-report . && docker run bug-report should reproduce the error.

Alter the Dockerfile and switch the commented FROM statements around and it should execute correctly.

bug-report.zip