Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-helper.ads
Find file
Blame
History
Permalink
* Added pre/post conditions
· b4e01e89
yoogx
authored
Jan 26, 2018
For openaadl/ocarina#128
b4e01e89