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
993d44fd
Commit
993d44fd
authored
Nov 10, 2015
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* File test
For issue #50
parent
9fe6cded
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
27 additions
and
0 deletions
+27
-0
tests/MANIFEST
tests/MANIFEST
+1
-0
tests/github/issue_50/test.aadl
tests/github/issue_50/test.aadl
+26
-0
No files found.
tests/MANIFEST
View file @
993d44fd
...
...
@@ -289,5 +289,6 @@ tests/github/issue_35/test.aadl
tests/github/issue_36/test.aadl
tests/github/issue_39/pb1.aadl
tests/github/issue_47/test.aadl
tests/github/issue_50/test.aadl
tests/root_system/test.aadl
tests/github/issue_50/test.aadl
0 → 100644
View file @
993d44fd
package
S
public
bus
BusType_1
end
BusType_1
;
bus
implementation
BusType_1
.
impl
end
BusType_1
.
impl
;
processor
PC
features
pp_1
:
requires
bus
access
BusType_1
;
end
PC
;
processor
implementation
PC
.
impl
end
PC
.
impl
;
system
S
features
bustype_1_1
:
requires
bus
access
BusType_1
;
end
S
;
system
implementation
S
.
impl
subcomponents
pc_part
:
processor
PC
.
impl
;
connections
bustype_1_1_1_connection
:
bus
access
pc_part
.
pp_1
->
bustype_1_1
;
end
S
.
impl
;
end
S
;
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