* Test case for github issue #22

OpenAADL · Dec 22, 2014 · d82e155 · d82e155
1 parent 3394f79
commit d82e155
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/tests/MANIFEST b/tests/MANIFEST
@@ -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
 
diff --git a/tests/github/issue_22/MANIFEST b/tests/github/issue_22/MANIFEST
@@ -0,0 +1 @@
+AADL_VERSION=-aadlv2
diff --git a/tests/github/issue_22/p.aadl b/tests/github/issue_22/p.aadl
@@ -0,0 +1,5 @@
+property set P is
+
+Supported_Classifier_Equivalence_Matches: constant list of list of classifier (data, bus, subprogram, subprogram group, feature group) => ();
+
+end P;