Lena Martens 8ea85769ea Checkify: add way to disable categories of errors.
By default only user_asserts are lifted into the checked function.
2022-01-18 17:59:50 +00:00
..
2021-10-04 17:54:46 -07:00
2021-10-04 17:54:46 -07:00
2021-10-20 22:15:35 +01:00
2021-11-18 11:01:50 +02:00
2021-10-04 17:54:46 -07:00
2021-11-30 15:47:50 -08:00