Package: bliss Version: 0.73-2 Severity: important I have seen the same kind of gmp related segfault [3] running the included example bliss.cc [2] and sympol [1].
I'm not sure if I'm just unlucky, or if the current build of libbliss is really broken. I'll try to use it via polymake later. [1] http://www.math.uni-rostock.de/~rehn/software/sympol.html [2] Here is the input I used. c FILE: myciel3.col c SOURCE: Michael Trick (tr...@cmu.edu) c DESCRIPTION: Graph based on Mycielski transformation. c Triangle free (clique number 2) but increasing c coloring number p edge 11 20 e 1 2 e 1 4 e 1 7 e 1 9 e 2 3 e 2 6 e 2 8 e 3 5 e 3 7 e 3 10 e 4 5 e 4 6 e 4 10 e 5 8 e 5 9 e 6 11 e 7 11 e 8 11 e 9 11 e 10 11 [3] Here's the backtrace #0 0x00007ffff7f290f9 in __gmpz_set_si () from /usr/lib/x86_64-linux-gnu/libgmp.so.10 #1 0x00007ffff7f97c10 in bliss::AbstractGraph::search(bool, bliss::Stats&) () from /usr/lib/x86_64-linux-gnu/libbliss.so.2 #2 0x00007ffff7f9aa3c in bliss::AbstractGraph::find_automorphisms(bliss::Stats&, void (*)(void*, unsigned int, unsigned int const*), void*) () from /usr/lib/x86_64-linux-gnu/libbliss.so.2 -- System Information: Debian Release: buster/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'testing') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.19.0-2-amd64 (SMP w/8 CPU cores) Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE=en_CA:en (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages bliss depends on: ii libbliss2 0.73-2 ii libc6 2.28-7 ii libgcc1 1:8.2.0-21 ii libgmp10 2:6.1.2+dfsg-4 ii libstdc++6 8.2.0-21 bliss recommends no packages. bliss suggests no packages. -- no debconf information
