Commit 0f8c1782 authored by jhugues's avatar jhugues

* Update reference output



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5773 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 871761b4
example_005.aadl:16:03: Connection_Pattern (property association) does not point to anything
example_005.aadl:16:22: (property term) does not point to anything or to something unreachable
example_005.aadl:18:03: Connection_Pattern (property association) does not point to anything
example_005.aadl:18:22: (property term) does not point to anything or to something unreachable
Cannot analyze AADL specifications
example_018.aadl:29:41: Connection_Pattern (property association) does not point to anything
example_018.aadl:29:60: (property term) does not point to anything or to something unreachable
Cannot analyze AADL specifications
example_018.aadl:29:41: Warning: Connection_Pattern is not a list while the corresponding property name at communication_properties.aadl:10:02 is a list.
example_018.aadl:29:41: Warning: The value of Connection_Pattern has been converted into a list.
package Patterns
public
thread Voter
features
Input : in data port [3];
Output : out data port;
end Voter;
thread Processing
features
Input : in data port;
Result : out data port;
end Processing;
thread group Redundant_Processing
features
Input : in data port;
Result : out data port;
end Redundant_Processing;
thread group implementation Redundant_Processing.basic
subcomponents
processing : thread Processing [3];
voting : thread voter;
connections
port processing.Result -> voting.Input
{Connection_Pattern => One_To_One;};
port Input -> processing.Input;
port voting.Output -> Result;
end Redundant_Processing.basic;
end Patterns;
......@@ -151,22 +151,22 @@ Evaluating theorem set_declaration_is_passing_through
* Iterate for variable: rma.erc32_node_a_task_1
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3703 end to end flow spec
anonymous end to end flow :3789 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_2
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3703 end to end flow spec
anonymous end to end flow :3789 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_12
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3704 end to end flow spec
anonymous end to end flow :3790 end to end flow spec
=> Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_22
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3704 end to end flow spec
anonymous end to end flow :3790 end to end flow spec
=> Result: TRUE
theorem set_declaration_is_passing_through is: TRUE
......
This diff is collapsed.
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