Commit 22a3a933 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Add up to date TASTE_DV_Properties.aadl

include Coverage flag
parent 56eaf1fc
......@@ -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);
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment