GNATprove crashes when a project uses components/src/screen/ST7735R/st7735r.ads. As Adacore said that they will correct this bug when they will have time (someday maybe...), that package should be set with spark_mode off (cf. Adacore ticket CS0039074 #111111).
GNATprove crashes when a project uses components/src/screen/ST7735R/st7735r.ads. As Adacore said that they will correct this bug when they will have time (someday maybe...), that package should be set with spark_mode off (cf. Adacore ticket CS0039074 #111111).