Commit e1996081 authored by yoogx's avatar yoogx

* Update reference output

parent 5e438438
communication_properties.aadl:20:28: (unique property type identifier) does not point to anything
Cannot analyze AADL specifications
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;
package Test
public
system t1
features
rba : requires bus access b1.i1;
end t1;
bus b1
end b1;
bus implementation b1.i1
end b1.i1;
system s
end s;
system implementation s.impl
subcomponents
part1 : system t1;
bus1 : bus b1;
connections
c1 : bus access part1.rba -> bus1;
end s.impl;
end Test;
......@@ -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 :3964 end to end flow spec
anonymous end to end flow :3996 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 :3964 end to end flow spec
anonymous end to end flow :3996 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 :3965 end to end flow spec
anonymous end to end flow :3997 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 :3965 end to end flow spec
anonymous end to end flow :3997 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