3 ms·
Figure 8 in the OOPSLA paper (https://arxiv.org/pdf/2004.08799.pdf https://arxiv.org/pdf/2004.08799.pdf) provides a breakdown of the bugs found in different log
by zsu 6y ago
Figure 8 in the OOPSLA paper (https://arxiv.org/pdf/2004.08799.pdf https://arxiv.org/pdf/2004.08799.pdf) provides a breakdown of the bugs found in different logics for Z3 and CVC4.