https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98557
--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> --- Note that C-Vise now reports similarly to C-Reduce.
marxin at gcc dot gnu.org via Gcc-bugs Thu, 07 Jan 2021 02:15:54 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98557
--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> --- Note that C-Vise now reports similarly to C-Reduce.