might be worth checking out how SPARK 2014 does contracts #7

Open

opened

on Jul 27, 2014

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

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests