-
Andre Maroneze authored
Documentation of the options -warn-invalid-pointer and -warn-pointer-downcast See merge request frama-c/frama-c!2614
9f68b5c3
Documentation of the options -warn-invalid-pointer and -warn-pointer-downcast See merge request frama-c/frama-c!2614