* File test case for github issue #66

OpenAADL · Jun 10, 2016 · e4e675f · e4e675f
1 parent de5a40b
commit e4e675f
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 0 deletions.
diff --git a/tests/MANIFEST b/tests/MANIFEST
@@ -294,4 +294,6 @@ tests/github/issue_50/test2.aadl
 tests/github/issue_55/test.aadl
 tests/github/issue_56/test.aadl
 tests/github/issue_56/testFeatureGroup.aadl
+tests/github/issue_66/test.aadl
+
 tests/root_system/test.aadl
diff --git a/tests/github/issue_66/MANIFEST b/tests/github/issue_66/MANIFEST
@@ -0,0 +1,3 @@
+AADL_VERSION=-aadlv2
+OCARINA_FLAGS=-disable-annexes=all
+
diff --git a/tests/github/issue_66/test.aadl b/tests/github/issue_66/test.aadl
@@ -0,0 +1,15 @@
+package Test
+public
+
+  system s end s;
+  system s2 end s2;
+
+  system implementation s2.i
+  subcomponents
+    a : system s;
+    b : system s;
+  properties
+    Source_Language => (C) applies to a, b;
+  end s2.i;
+
+end Test;