diff --git a/TASTE-linux/config/TASTE_DV_Properties.aadl b/TASTE-linux/config/TASTE_DV_Properties.aadl index 441590c4ec25b35a9deb60764b349aa63bf38ded..e76c3f84a4cf1f10ca585cd051506db0ea32c0f4 100755 --- a/TASTE-linux/config/TASTE_DV_Properties.aadl +++ b/TASTE-linux/config/TASTE_DV_Properties.aadl @@ -7,6 +7,7 @@ -- Driver : Driver property set TASTE_DV_Properties is -- MyBoolean: aadlboolean applies to (System, Processor, Process); + CoverageEnabled: aadlboolean applies to (Process); Comment: aadlstring applies to (Device, Bus); -- MyInt: aadlinteger applies to (System); -- MyReal: aadlreal applies to (Bus);