Commit 137e00fd authored by yoogx's avatar yoogx

* File reproducer for issue #55

parent b9fc2aa9
......@@ -291,5 +291,6 @@ tests/github/issue_39/pb1.aadl
tests/github/issue_47/test.aadl
tests/github/issue_50/test.aadl
tests/github/issue_50/test2.aadl
tests/github/issue_55/test.aadl
tests/root_system/test.aadl
AADL_VERSION=-aadlv2
OCARINA_FLAGS=-disable-annexes=all
package t
public
process a
features
outp : out feature;
end a;
process b
features
inp : in feature;
end b;
system s end s;
system implementation s.i
subcomponents
a : process a;
b : process b;
connections
c1 : feature a.outp -> b.inp;
end s.i;
process a2 extends a
features
outp : refined to out event port;
end a2;
process B2 extends b
features
inp : refined to in event port;
end b2;
system s2 extends s end s2;
system implementation s2.i extends s.i
connections
c1 : refined to port;
end s2.i;
end t;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment