loonwerks/AGREE

Is agree now supported on the command line?

Closed this issue · 3 comments

I want to write a script to validate multiple AADL models using the command line and save the validation results elsewhere

Is okay?

We have not yet implemented a headless option for AGREE, but anticipate doing so in 2024.

Well, thank you. Where can I get more examples about AADL with agree annex to learn?