sci-mathematics:cryptominisat-5.11.15:20231022-105942.log

sci-mathematics:cryptominisat-5.11.15:20231022-105942.log (text/plain), 543 bytes, created by Toralf Förster on 2023-10-22 15:30:45 UTC

QA: other
One or more CMake variables were not used by the project:
  NOM4RI
QA Notice: Package triggers severe warnings which indicate that it
           may exhibit random runtime failures.
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference]
Please do not file a Gentoo bug and instead report the above QA
issues directly to the upstream developers of this software.
Homepage: https://github.com/msoos/cryptominisat/