Commit 13da19e8 authored by yoogx's avatar yoogx

* Update reference output

parent 8d493901
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type robot.aadl:170:05: warning: CPU1 references a component type
Cannot analyze AADL specifications ocarina: Total: 0 error and 1 warning
robot.aadl:170:05: warning: CPU1 references a component type
ocarina: Total: 0 error and 1 warning
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type
all.aadl:11:03: Criticity (property definition declaration) does not point to anything all.aadl:11:03: Criticity (property definition declaration) does not point to anything
all.aadl:18:03: Actual_Subprogram_Type (property definition declaration) does not point to anything all.aadl:18:03: Actual_Subprogram_Type (property definition declaration) does not point to anything
Cannot analyze AADL specifications Cannot analyze AADL specifications
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type model.aadl:85:04: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
Cannot analyze AADL specifications model.aadl:85:04: Warning: The value of source_language has been converted into a list.
model.aadl:92:04: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
model.aadl:92:04: Warning: The value of source_language has been converted into a list.
model.aadl:99:04: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
model.aadl:99:04: Warning: The value of source_language has been converted into a list.
pok_safety execution
Processing requirement : check_error_handling
-------------------------------------
Evaluating theorem check_error_handling
* Iterate for variable: node.impl_part1_thr1
Content of set prs (libsafety.real:6:15) is
node.impl_part1: 62 component instance model.aadl:40:01
Content of set vp (libsafety.real:8:14) is
node.impl_cpu_part1: 20 component instance model.aadl:16:01
Content of set cpu (libsafety.real:10:15) is
node.impl_cpu: 13 component instance model.aadl:22:01
-> value for errors is ("module_config", "module_init", "module_scheduling", "partition_scheduling", "partition_config", "partition_handler", "partition_init", "deadline_miss", "application_error", "numeric_error", "illegal_request", "stack_overflow", "memory_violation", "hardware_fault", "power_fail")
-> value for actual_errors is ("module_config", "partition_init", "illegal_request")
libsafety.real:32:46 Backends: error : Property is false for instance 69 (node.impl_part1_thr1)
=> Result: FALSE
theorem check_error_handling is: FALSE
model.aadl:118:07 Backends: fatal error : requirements are not fulfilled for theorem pok_safety
This diff is collapsed.
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type Backends: fatal error : Petri Net backend : incomplete AADL model
Cannot analyze AADL specifications
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type test2.aadl:24:09 Backends: fatal error : This IN port is not connected to any destination
Cannot analyze AADL specifications
taste_properties.aadl:19:08: (record type element) points to Supported_Source_Language (property definition declaration) , which is not a property type validation.aadl:13:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
Cannot analyze AADL specifications validation.aadl:13:03: Warning: The value of source_language has been converted into a list.
validation.aadl:20:03: Warning: source_language is not a list while the corresponding property name at programming_properties.aadl:61:02 is a list.
validation.aadl:20:03: Warning: The value of source_language has been converted into a list.
contains_memories execution
-------------------------------------
Evaluating theorem contains_memories
* Iterate for variable: mysystem.local
Content of set mainmem (validation.aadl:123:28) is
mysystem.local_ram: 122 component instance validation.aadl:99:01
=> Result: TRUE
theorem contains_memories is: TRUE
check_memory_and_process_mem execution
-------------------------------------
Evaluating theorem check_memory_and_process_mem
* Iterate for variable: mysystem.local_ram
Content of set prs (validation.aadl:133:28) is
mysystem.local_node: 13 component instance validation.aadl:87:01
validation.aadl:135:99 Backends: error : Property is false for instance 122 (mysystem.local_ram)
=> Result: FALSE
theorem check_memory_and_process_mem is: FALSE
check_thread_and_process_mem execution
-------------------------------------
Evaluating theorem check_thread_and_process_mem
* Iterate for variable: mysystem.local_node
Content of set thrs (validation.aadl:144:28) is
mysystem.local_node_p1: 20 component instance validation.aadl:32:01
mysystem.local_node_p2: 60 component instance validation.aadl:51:01
validation.aadl:151:16 Backends: error : Property is false for instance 13 (mysystem.local_node)
=> Result: FALSE
theorem check_thread_and_process_mem is: FALSE
check_processor_compliance execution
-------------------------------------
Evaluating theorem check_processor_compliance
* Iterate for variable: mysystem.local_cpu
Content of set prs (validation.aadl:160:28) is
mysystem.local_node: 13 component instance validation.aadl:87:01
Content of set thrs (validation.aadl:161:28) is
mysystem.local_node_p1: 20 component instance validation.aadl:32:01
mysystem.local_node_p2: 60 component instance validation.aadl:51:01
=> Result: TRUE
theorem check_processor_compliance is: TRUE
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