You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Issue #16 established a rerun command id for AMASE and applies it in the Verify All with Faults handler.
But, not all of the AMASE analyses work this way. Other analyses do not use the AMASE safety results view nor to they consistently apply terminate and rerun handlers. For consistency and independence from AGREE, AMASE should define its own terminate handlers and corresponding command ids, migrate the analyses to use the AMASE terminate and rerun handlers and command ids, and migrate analyses to use the safety results view
The text was updated successfully, but these errors were encountered:
Issue #16 established a rerun command id for AMASE and applies it in the Verify All with Faults handler.
But, not all of the AMASE analyses work this way. Other analyses do not use the AMASE safety results view nor to they consistently apply terminate and rerun handlers. For consistency and independence from AGREE, AMASE should define its own terminate handlers and corresponding command ids, migrate the analyses to use the AMASE terminate and rerun handlers and command ids, and migrate analyses to use the safety results view
The text was updated successfully, but these errors were encountered: