https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111231
--- Comment #7 from Mathieu Malaterre <malat at debian dot org> --- new cvise setup started today: % cvise check.sh widen_mul_test.cc 00:01:16 INFO ===< 1427429 >=== 00:01:16 INFO running 4 interestingness tests in parallel 00:01:16 INFO INITIAL PASSES 00:01:16 INFO ===< IncludesPass >===