source: rtems-central/formal/promela/models/events/event-mgr-model-post.h @ 285cae9

Last change on this file since 285cae9 was 285cae9, checked in by Andrew Butterfield <Andrew.Butterfield@…>, on 01/10/23 at 19:49:26

Memory Manager model and test gen material

  • Property mode set to 100644
File size: 206 bytes
Line 
1/* SPDX-License-Identifier: BSD-2-Clause */
2
3static void Runner( RtemsModelEventsMgr_Context *ctx )
4{
5  T_log( T_NORMAL, "Runner running" );
6  TestSegment4( ctx );
7  T_log( T_NORMAL, "Runner finished" );
8}
Note: See TracBrowser for help on using the repository browser.