test_real_exec_env_01.aadl.out 1.99 KB
Newer Older
1 2 3 4
lib.real:12:17: warning: Unable to determine actualy returned type.
lib.real:19:24: warning: Unable to determine actualy returned type.
lib.real:33:03: warning: Returned boolean value will be casted to a float at runtime
test_env_subtheorem_call_no_parameter execution
hugues.jerome's avatar
hugues.jerome committed
5 6
   Evaluating x
   value for x after evaluating sub_theorem_1 is 2.00000E+00
7 8 9
theorem test_env_subtheorem_call_no_parameter is: TRUE

test_env_subtheorem_call_one_parameter execution
hugues.jerome's avatar
hugues.jerome committed
10 11
   Evaluating x
   value for x after evaluating sub_theorem_2 is 2.00000E+00
12 13 14
theorem test_env_subtheorem_call_one_parameter is: TRUE

test_env_subtheorem_call_multiple_parameters execution
15 16
Content of set a_set (test_real_exec_env_01.aadl:102:12) is 
  rma.erc32_node_a: 13 component instance test_real_exec_env_01.aadl:72:01
hugues.jerome's avatar
hugues.jerome committed
17 18 19
     -> value for y is 3
   Evaluating x
   value for x after evaluating sub_theorem_3 is 4.00000E+00
20 21 22
theorem test_env_subtheorem_call_multiple_parameters is: TRUE

test_env_subtheorem_call_with_domain execution
23 24 25
Content of set a_set (test_real_exec_env_01.aadl:112:12) is 
  rma.erc32_node_a_task1: 20 component instance test_real_exec_env_01.aadl:27:01
  rma.erc32_node_a_task2: 52 component instance test_real_exec_env_01.aadl:40:01
hugues.jerome's avatar
hugues.jerome committed
26 27 28
     -> value for y is 1
   Evaluating x
   value for x after evaluating sub_theorem_4 is 2.00000E+00
29 30 31
theorem test_env_subtheorem_call_with_domain is: TRUE

test_env_subtheorem_call_global_variable execution
32 33
Content of set a_set (test_real_exec_env_01.aadl:122:12) is 
  rma.erc32_node_a: 13 component instance test_real_exec_env_01.aadl:72:01
hugues.jerome's avatar
hugues.jerome committed
34 35 36
     -> value for y is 1
   Evaluating x
   value for x after evaluating sub_theorem_5 is 1.00000E+00
37 38 39
theorem test_env_subtheorem_call_global_variable is: TRUE

test_env_subtheorem_call_with_empty_domain execution
40
Content of set a_set (test_real_exec_env_01.aadl:133:12) is 
hugues.jerome's avatar
hugues.jerome committed
41
   Evaluating x
42
lib.real:38:01 Backends: warning : Empty range set, returned value is 0.0
hugues.jerome's avatar
hugues.jerome committed
43
   value for x after evaluating sub_theorem_6 is 0.00000E+00
44
theorem test_env_subtheorem_call_with_empty_domain is: TRUE
45