source: rtems-central/formal/promela/models/messages/msg-mgr-model-pre.h @ d59895a

Last change on this file since d59895a was d59895a, checked in by Andrew Butterfield <Andrew.Butterfield@…>, on 01/10/23 at 19:51:42

Message Manager model and test gen material

  • Property mode set to 100644
File size: 1.9 KB
Line 
1/* SPDX-License-Identifier: BSD-2-Clause */
2
3/**
4 * @file
5 *
6 * @ingroup RTEMSTestCaseRtemsModelMessageMgr
7 */
8
9/*
10 * Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
11 *                    Trinity College Dublin (http://www.tcd.ie)
12 *
13 * Redistribution and use in source and binary forms, with or without
14 * modification, are permitted provided that the following conditions
15 * are met:
16 * 1. Redistributions of source code must retain the above copyright
17 *    notice, this list of conditions and the following disclaimer.
18 * 2. Redistributions in binary form must reproduce the above copyright
19 *    notice, this list of conditions and the following disclaimer in the
20 *    documentation and/or other materials provided with the distribution.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
32 * POSSIBILITY OF SUCH DAMAGE.
33 */
34
35/*
36 * This file was automatically generated.  Do not edit it manually.
37 * Please have a look at
38 *
39 * https://docs.rtems.org/branches/master/eng/req/howto.html
40 *
41 * for information how to maintain and re-generate this file.
42 */
43
44#ifndef HAVE_CONFIG_H
45#include "config.h"
46#endif
47
48#include <rtems/score/threadimpl.h>
49
50
51#include "tr-msg-mgr-model.h"
Note: See TracBrowser for help on using the repository browser.