Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-utils.ads
Find file
Blame
History
Permalink
* (Has_Behavior_Specification): return true if a component as
· d22ea2c8
Rahma BOUAZIZ
authored
May 11, 2019
a Behavior_Specification annex subclause For openaadl/ocarina#190
d22ea2c8