Package: flatzinc Version: 4.4.0-5 Severity: important Dear Maintainer,
In Debian Stretch, fzn-gecode can crash on some input. When trying the nqueens.mzn from the MiniZin tutorial (http://www.minizinc.org/tutorial/minizinc-tutorial-examples.zip), the following steps leads to a crash: 1) turn the .mzn file to flatzinc: mzn2fzn -D"n=8" nqueens.mzn 2) run the Gecode solver: fzn-gecode nqueens.fzn This will fail with a segmentation violation. From using gdb the violation occurs within the standard C++ library: (gdb) run nqueens.fzn Starting program: /usr/bin/fzn-gecode nqueens.fzn [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". Program received signal SIGSEGV, Segmentation fault. 0x00007ffff5c6492d in __dynamic_cast () from /usr/lib/x86_64-linux- gnu/libstdc++.so.6 Thanks -- System Information: Debian Release: 9.1 APT prefers stable APT policy: (990, 'stable'), (500, 'stable-updates') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.9.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages flatzinc depends on: ii libc6 2.24-11+deb9u1 ii libgcc1 1:6.3.0-18 ii libgecode41v5 4.4.0-5 ii libgecodeflatzinc41v5 4.4.0-5 ii libgecodegist41v5 4.4.0-5 ii libstdc++6 6.3.0-18 flatzinc recommends no packages. flatzinc suggests no packages. -- no debconf information
