You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
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
The text was updated successfully, but these errors were encountered: