diff options
Diffstat (limited to 'formal/promela/models/chains/tr-chains-api-model.c')
| -rw-r--r-- | formal/promela/models/chains/tr-chains-api-model.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/formal/promela/models/chains/tr-chains-api-model.c b/formal/promela/models/chains/tr-chains-api-model.c index be79d61e..bd833e49 100644 --- a/formal/promela/models/chains/tr-chains-api-model.c +++ b/formal/promela/models/chains/tr-chains-api-model.c @@ -1,5 +1,13 @@ /* SPDX-License-Identifier: BSD-3-Clause */ +/** + * @file + * + * @ingroup TestsuitesModel0 + * + * @brief This source file contains test cases related to a formal model. + */ + /****************************************************************************** * Chains API Model * |