Is agree now supported on the command line?
Closed this issue · 3 comments
zhenli798 commented
I want to write a script to validate multiple AADL models using the command line and save the validation results elsewhere
zhenli798 commented
Is okay?
iamundson commented
We have not yet implemented a headless option for AGREE, but anticipate doing so in 2024.
zhenli798 commented
Well, thank you. Where can I get more examples about AADL with agree annex to learn?