diff options
Diffstat (limited to 'testsuites/validation/tr-event-mgr-model.h')
-rw-r--r-- | testsuites/validation/tr-event-mgr-model.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuites/validation/tr-event-mgr-model.h b/testsuites/validation/tr-event-mgr-model.h index 7e05f6953c..927e2592bd 100644 --- a/testsuites/validation/tr-event-mgr-model.h +++ b/testsuites/validation/tr-event-mgr-model.h @@ -2,6 +2,10 @@ /** * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. */ /* |