Skip to content

GitLab

O
Ocarina
Commit 3917856c authored by jhugues's avatar jhugues
Browse files
Options

* Update reference output 



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4998 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 09b9a05e
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 3941 additions and 3936 deletions
tests/real-annexes-execution/test_real_exec_02.aadl.out
View file @ 3917856c
......@@ -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 :3699 end to end flow spec
anonymous end to end flow :3700 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 :3699 end to end flow spec
anonymous end to end flow :3700 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 :3700 end to end flow spec
anonymous end to end flow :3701 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 :3700 end to end flow spec
anonymous end to end flow :3701 end to end flow spec
=> Result: TRUE
theorem set_declaration_is_passing_through is: TRUE
......
tests/test_tree_p2/test.aadl.out
View file @ 3917856c
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