Stack Overflow Error when analysis creates AGREE results window

loonwerks / AGREE

Assume-Guarantee REasoning Environment

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

12 stars 5 forks source link

Stack Overflow Error when analysis creates AGREE results window #23

Open kfhoech opened 4 years ago

kfhoech commented 4 years ago

Often when running analysis the first time or after the AgreeResults pane has been closed, a java.lang.StackOverflow occurs

kfhoech commented 3 years ago

Workaround: Manually open the AGREE results pane prior to running analysis. Do this via the "Window" menu >> "Show View" >> "Other...", then "AGREE" >> "AGREE Results"