might be worth checking out how SPARK 2014 does contracts

Opened this issue 10 years ago · 0 comments

mk270 commented 10 years ago

http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html#subprogram-contracts