search

saeaadl / emv2

AADL Error Model V2 annex language
0 stars 0 forks source link

E.7.2 Error Flow Declarations (L20) refers to incorrect entity #54

Open lwrage opened 3 years ago

lwrage commented 3 years ago

Legality rule E.7.2 Error Flow Declarations (L20) mentions error_type_set, but it should be target_error_type_instance.

jjhugues commented 2 years ago

The correction is straightforward