diff options
Diffstat (limited to 'formal/promela/models/events/event-mgr-model-pre.h')
-rw-r--r-- | formal/promela/models/events/event-mgr-model-pre.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/formal/promela/models/events/event-mgr-model-pre.h b/formal/promela/models/events/event-mgr-model-pre.h index 9a764a82..06396d10 100644 --- a/formal/promela/models/events/event-mgr-model-pre.h +++ b/formal/promela/models/events/event-mgr-model-pre.h @@ -3,7 +3,9 @@ /** * @file * - * @ingroup RTEMSTestCaseRtemsModelEventsMgr + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* |