search

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6 stars 4 forks source link

Issue 16 conflicing rerun handler #17

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Resolves #16.

Adds AMASE rerun command id to plugin.

Uses AMASE rerun command id in Verify All with Faults.