assurance instance for incomplete plans

osate / alisa

Old Alisa repository, kept for reference

4 stars 2 forks source link

Closed reteprelief closed 7 years ago

reteprelief commented 7 years ago

It would be nice to allow instantiation of an assurance case (creation of assure file) even when we have incomplete plans. (Honeywell).

reteprelief commented 7 years ago

We now just provide warning and allow assure instance for partially complete verification plans.