diff options
Diffstat (limited to 'testsuites/validation/tr-chains-api-model-18.c')
-rw-r--r-- | testsuites/validation/tr-chains-api-model-18.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuites/validation/tr-chains-api-model-18.c b/testsuites/validation/tr-chains-api-model-18.c index 1d9c6cf0b4..5e013e75c6 100644 --- a/testsuites/validation/tr-chains-api-model-18.c +++ b/testsuites/validation/tr-chains-api-model-18.c @@ -1,3 +1,11 @@ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * FV2-201 * |