unqualified_names.aadl.out 136 Bytes
Newer Older
1 2
unqualified_names.aadl:5:03: Property_1 (property definition declaration) does not point to anything
Cannot analyze AADL specifications