model.aadl.out 678 Bytes
Newer Older
1
2
pok_safety execution
requirement : check_error_handling
3
4
5
6
7
8
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
hugues.jerome's avatar
hugues.jerome committed
9
10
     -> value for errors is Not implemented yet
     -> value for actual_errors is Not implemented yet
11
12
13
libsafety.real:32:46 Backends: error : Property is false for instance 69 (node.impl_part1_thr1)
theorem check_error_handling is: FALSE
model.aadl:118:07 Backends: fatal error : requirements are not fulfilled