search

HeisenbugLtd / spat

SPARK Proof Analysis Tool
https://github.heisenbug.eu/spat/
Do What The F*ck You Want To Public License
15 stars 4 forks source link

* Removed warnings for check_tree being of wrong type. #19

Closed Jellix closed 4 years ago

Jellix commented 4 years ago

Warnings not emitted for GNAT CE 2020 files. Templates updated accordingly.