Closed juli1 closed 6 years ago
The plugin does not catch all error path. See model on https://github.com/osate/examples/tree/master/speed-regulation/model and look at the warning raised in the integration.aadl file. It shoes some errors not handled while they actually are.
works now.
reteprelief
commented
6 years ago reteprelief
commented
6 years ago
The plugin does not catch all error path. See model on https://github.com/osate/examples/tree/master/speed-regulation/model and look at the warning raised in the integration.aadl file. It shoes some errors not handled while they actually are.