User_Defined_Cheddar_Properties.aadl 347 Bytes
Newer Older
Jerome Legrand's avatar
Jerome Legrand committed
1 2 3 4 5 6 7 8 9 10 11 12
----------------------------------------
-- User Defined Cheddar Property Set
-- University of Brest
-- Updated: January 2015
----------------------------------------

PROPERTY SET user_defined_cheddar_properties IS

  Dummy_User_Defined_Cheddar_Properties : AADLBOOLEAN
    APPLIES TO (THREAD,THREAD GROUP);

END user_defined_cheddar_properties;