crash when parsing the model

OpenAADL / ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

http://www.openaadl.org

Other

64 stars 29 forks source link

crash when parsing the model #21

Closed juli1 closed 9 years ago

juli1 commented 9 years ago

When invoking Ocarina with the osate integration plugin, ocarina still crash. The command is the following /home/julien/local/bin/ocarina -aadlv2 -g deos_conf -r node.impl /home/julien/wip/runtime-osate/Plugin_Resources/ARINC653.aadl /home/julien/wip/runtime-osate/Plugin_Resources/Data_Model.aadl /home/julien/git/examples/core-examples/arinc653-basic/model.aadl

The model is on https://github.com/osate/examples/blob/master/core-examples/arinc653-basic/model.aadl

juli1 commented 9 years ago

Note: this bug happens when using the deos_conf backend.