test_real_exec_03.aadl.out 1.05 KB
Newer Older
1 2 3 4
test_real_exec_03.aadl:10:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
test_real_exec_03.aadl:10:03: Warning: The value of source_language has been converted into a list.
test_real_exec_03.aadl:16:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
test_real_exec_03.aadl:16:03: Warning: The value of source_language has been converted into a list.
5
type_issues_1 execution
6 7 8 9 10 11
-------------------------------------
Evaluating theorem type_issues_1

 * Iterate for variable: rma.erc32_cpu_rm
 => Result: TRUE

12 13
theorem type_issues_1 is: TRUE

14

15
type_issues_2 execution
16 17 18 19 20 21
-------------------------------------
Evaluating theorem type_issues_2

 * Iterate for variable: rma.erc32_cpu_rm
 => Result: TRUE

22 23
theorem type_issues_2 is: TRUE

24

25
type_issues_3 execution
26 27 28 29 30 31
-------------------------------------
Evaluating theorem type_issues_3

 * Iterate for variable: rma.erc32_cpu_rm
 => Result: TRUE

32 33
theorem type_issues_3 is: TRUE

34