Commit 930b872a authored by julien.delange's avatar julien.delange
Browse files

* ocarina_config.aadl

   - Also define the property in ocarina config AADL properties

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 6541e95c
......@@ -54,6 +54,8 @@ property set Ocarina_Config is
AADL_Version : Ocarina_Config::AADL_Version_Type applies to (system);
-- AADL version of the model
Use_Components_Library : aadlboolean applies to (system);
Referencial_Files : list of aadlstring applies to (system);
-- The list of referencial files used to compute the regression test
Supports Markdown
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