test_real_exec_env_01.aadl.out 1.45 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
hugues.jerome's avatar
hugues.jerome committed
15 16 17
     -> value for y is 3
   Evaluating x
   value for x after evaluating sub_theorem_3 is 4.00000E+00
18 19 20
theorem test_env_subtheorem_call_multiple_parameters is: TRUE

test_env_subtheorem_call_with_domain execution
hugues.jerome's avatar
hugues.jerome committed
21 22 23
     -> value for y is 1
   Evaluating x
   value for x after evaluating sub_theorem_4 is 2.00000E+00
24 25 26
theorem test_env_subtheorem_call_with_domain is: TRUE

test_env_subtheorem_call_global_variable execution
hugues.jerome's avatar
hugues.jerome committed
27 28 29
     -> value for y is 1
   Evaluating x
   value for x after evaluating sub_theorem_5 is 1.00000E+00
30 31 32
theorem test_env_subtheorem_call_global_variable is: TRUE

test_env_subtheorem_call_with_empty_domain execution
hugues.jerome's avatar
hugues.jerome committed
33
   Evaluating x
34
lib.real:38:01 Backends: warning : Empty range set, returned value is 0.0
hugues.jerome's avatar
hugues.jerome committed
35
   value for x after evaluating sub_theorem_6 is 0.00000E+00
36
theorem test_env_subtheorem_call_with_empty_domain is: TRUE