2 Commits

Author	SHA1	Message	Date
Guillaume Gomez	a05d3a4137	Automatic generation of error annotations for ui tests	2023-08-22 17:18:11 +02:00
Morten Lohne	1d61fc1b0a	Rename 'impossible_double_const_comparisons' -> 'impossible_comparisons' and 'ineffective_double_const_comparisons' -> 'redundant_comparisons', after discussion on Zulip	2023-08-05 21:28:08 +02:00