Is agree now supported on the command line?

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

12 stars 5 forks source link

Closed zhenli798 closed 3 months ago

zhenli798 commented 1 year ago

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

zhenli798 commented 8 months ago

Is okay？

iamundson commented 8 months ago

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

zhenli798 commented 8 months ago

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