diff --git a/development/autotests/ctests-costs-benefits.txt b/development/autotests/ctests-costs-benefits.txt index 772770ebb0..026772b3ac 100644 --- a/development/autotests/ctests-costs-benefits.txt +++ b/development/autotests/ctests-costs-benefits.txt @@ -20,3 +20,9 @@ they were actually "false positives" (i.e., no bug that is worth the time or complexity to fix): https://www.mail-archive.com/search?l=mid&q=20210125200655.e27xaaoy2belyxhw%40tallinn + + +Examples where bugs were fixed because of ctests: + +Report : https://www.mail-archive.com/search?l=mid&q=20210126190837.pwuxhrhrikzszfrh%40tallinn +Fix : 92f8612a