search

loonwerks / AGREE

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

IllegalStateException registering rerunHandler #81

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

AGREE generates IllegalStateException registering multiple handlers for command com.rockwellcollins.atc.agree.analysis.commands.rerunAgree

kfhoech commented 2 years ago

This problem occurs when AGREE is used in conjunction with AMASE safety analysis. Investigating further, AMASE tangles its own rerun handler with that for AGREE while sharing the same rerun command id.

To resolve, AMASE should change its behavior to use its own rerun id and rerun handler in conjunction with its results view. No change to AGREE should be required.

AMASE issue #16 has been opened. We'll track the progress on that issue and close this once it is closed.

kfhoech commented 2 years ago

AMASE issue https://github.com/loonwerks/AMASE/issues/16 has been resolved. We can go ahead and close this issue.