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 >===

Reply via email to