You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
cbmc/specgen/testfiles/windmodel/rtmodel.h

26 lines
740 B

/*
* rtmodel.h:
*
* Code generation for model "WindModeltestfinal".
*
* Model version : 1.86
* Simulink Coder version : 9.4 (R2020b) 29-Jul-2020
* C source code generated on : Wed Apr 9 14:29:01 2025
*
* Target selection: grt.tlc
* Note: GRT includes extra infrastructure and instrumentation for prototyping
* Embedded hardware selection: Intel->x86-64 (Windows64)
* Code generation objectives: Unspecified
* Validation result: Not run
*/
#ifndef RTW_HEADER_rtmodel_h_
#define RTW_HEADER_rtmodel_h_
/*
* Includes the appropriate headers when we are using rtModel
*/
#include "WindModeltestfinal.h"
#define GRTINTERFACE 0
#endif /* RTW_HEADER_rtmodel_h_ */