search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Added kind attribute to aadl and agree elements. Also fixed issue in … #2

Closed iamundson closed 5 years ago

iamundson commented 5 years ago

…which the top-level model was printed out twice.