diff options
Diffstat (limited to 'formal/promela/models/chains/tr-chains-api-model.h')
| -rw-r--r-- | formal/promela/models/chains/tr-chains-api-model.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/formal/promela/models/chains/tr-chains-api-model.h b/formal/promela/models/chains/tr-chains-api-model.h index 72250cd6..6d15b3ca 100644 --- a/formal/promela/models/chains/tr-chains-api-model.h +++ b/formal/promela/models/chains/tr-chains-api-model.h @@ -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 * @@ -36,6 +44,7 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ******************************************************************************/ +#include "tx-support.h" typedef struct item { |