-
jdelange authored
ocarina/tests/test042/test.aadl ocarina/resources/AADLv2/arinc653_properties.aadl ocarina/examples/real/safety/model.aadl - Update the testsuite to take into account the new ARINC653 properties. git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4606 129961e7-ef38-4bb5-a8f7-c9a525a55882
d3b4c877