Commit 9f824e6d authored by yoogx's avatar yoogx
Browse files

* Update reference output

parent b2ce8696
...@@ -151,22 +151,22 @@ Evaluating theorem set_declaration_is_passing_through ...@@ -151,22 +151,22 @@ Evaluating theorem set_declaration_is_passing_through
* Iterate for variable: rma.erc32_node_a_task_1 * Iterate for variable: rma.erc32_node_a_task_1
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3806 end to end flow spec anonymous end to end flow :3884 end to end flow spec
=> Result: TRUE => Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_2 * Iterate for variable: rma.erc32_node_a_task_2
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3806 end to end flow spec anonymous end to end flow :3884 end to end flow spec
=> Result: TRUE => Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_12 * Iterate for variable: rma.erc32_node_a_task_12
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3807 end to end flow spec anonymous end to end flow :3885 end to end flow spec
=> Result: TRUE => Result: TRUE
* Iterate for variable: rma.erc32_node_a_task_22 * Iterate for variable: rma.erc32_node_a_task_22
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3807 end to end flow spec anonymous end to end flow :3885 end to end flow spec
=> Result: TRUE => Result: TRUE
theorem set_declaration_is_passing_through is: 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