search

osate / ErrorModelV2

Old AADL EMV2 annex repository, kept for reference
3 stars 10 forks source link

Fixes osate/ErrorModelV2#14 #155

Closed reteprelief closed 6 years ago

reteprelief commented 6 years ago

Unhandled Fault handler now checks for either source or target not having an error propagation

lwrage commented 6 years ago

Can you add a test that fails before and doesn't fail after the commit?