search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

execute Agree from the command line #6

Open kfhoech opened 4 years ago

kfhoech commented 4 years ago

Issue by alghazo86 Saturday Sep 23, 2017 at 22:07 GMT Originally opened as https://github.com/smaccm/smaccm/issues/63

I have a question about using Agree with AADL Model Is there a way to run Agree to check the assume-guarantee form the command line? Also, make it store the result of the counterexample in the excel sheet or any kind of output without the need of doing it manually?

kfhoech commented 4 years ago

Comment by backesj Monday Sep 25, 2017 at 13:49 GMT

Hello,

There are tools to run "headless" versions of eclipse. However, we have not actively adapted any to run a "command line" version of AGREE. AGREE currently supports exporting counterexamples into excel spreadsheets, but you still must activate this feature using the GUI.

kfhoech commented 4 years ago

Comment by alghazo86 Tuesday Sep 26, 2017 at 04:40 GMT

Thank you for your reply. What I attending to do is to generate as many counterexamples, not just a single counterexample. and I was hoping by calling Agree from the command line I will be able to automate that. Can you suggest a way to do this? also, do you think Agree can be modified to run from the command line? I am not much of expert in AAdl and Agree So I appreciate any suggestion?

thanks Alaa

On Mon, Sep 25, 2017 at 8:49 AM, John Backes notifications@github.com wrote:

Hello,

There are tools to run "headless" versions of eclipse. However, we have not actively adapted any to run a "command line" version of AGREE. AGREE currently supports exporting counterexamples into excel spreadsheets, but you still must activate this feature using the GUI.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/smaccm/smaccm/issues/63#issuecomment-331886905, or mute the thread https://github.com/notifications/unsubscribe-auth/Ad9VBhMy78XclI5wZ3XLcyQ9VcayuLJAks5sl69vgaJpZM4PhsxE .