Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
d82e1551
Commit
d82e1551
authored
Dec 22, 2014
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Test case for github issue #22
parent
3394f792
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
7 additions
and
0 deletions
+7
-0
tests/MANIFEST
tests/MANIFEST
+1
-0
tests/github/issue_22/MANIFEST
tests/github/issue_22/MANIFEST
+1
-0
tests/github/issue_22/p.aadl
tests/github/issue_22/p.aadl
+5
-0
No files found.
tests/MANIFEST
View file @
d82e1551
...
...
@@ -285,5 +285,6 @@ tests/github/issue_6/test_spg.aadl
tests/github/issue_7/test.aadl
tests/github/issue_10/test.aadl
tests/github/issue_10/test2.aadl
tests/github/issue_22/p.aadl
tests/root_system/test.aadl
tests/github/issue_22/MANIFEST
0 → 100644
View file @
d82e1551
AADL_VERSION=-aadlv2
tests/github/issue_22/p.aadl
0 → 100644
View file @
d82e1551
property set P is
Supported_Classifier_Equivalence_Matches: constant list of list of classifier (data, bus, subprogram, subprogram group, feature group) => ();
end P;
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment