Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Is agree now supported on the command line? #126

Closed
zhenli798 opened this issue Jul 17, 2023 · 3 comments · Fixed by #134
Closed

Is agree now supported on the command line? #126

zhenli798 opened this issue Jul 17, 2023 · 3 comments · Fixed by #134
Assignees
Milestone

Comments

@zhenli798
Copy link

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

@iamundson iamundson self-assigned this Aug 18, 2023
@iamundson iamundson added enhancement New feature or request and removed enhancement New feature or request labels Aug 18, 2023
@zhenli798
Copy link
Author

Is okay?

@iamundson
Copy link
Contributor

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

@zhenli798
Copy link
Author

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

@iamundson iamundson added this to the v2.11.0 milestone Jun 5, 2024
@iamundson iamundson linked a pull request Jun 5, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants