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/WindModeltestfinal_data.c

152 lines
2.7 KiB

/*
* WindModeltestfinal_data.c
*
* 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
*/
#include "WindModeltestfinal.h"
#include "WindModeltestfinal_private.h"
/* Block parameters (default storage) */
P_WindModeltestfinal_T WindModeltestfinal_P = {
/* Expression: 0
* Referenced by: '<S7>/360'
*/
0.0,
/* Expression: 360
* Referenced by: '<S7>/360 '
*/
360.0,
/* Expression: 0
* Referenced by: '<S7>/0'
*/
0.0,
/* Expression: 0
* Referenced by: '<S8>/360'
*/
0.0,
/* Expression: 360
* Referenced by: '<S8>/360 '
*/
360.0,
/* Expression: 0
* Referenced by: '<S8>/0'
*/
0.0,
/* Expression: 5
* Referenced by: '<S1>/WindSpeedMinC'
*/
5.0,
/* Expression: 7
* Referenced by: '<S1>/WindSpeedUpperHystC'
*/
7.0,
/* Expression: 180
* Referenced by: '<S7>/180'
*/
180.0,
/* Expression: 180
* Referenced by: '<S4>/Constant'
*/
180.0,
/* Expression: 180
* Referenced by: '<S8>/180'
*/
180.0,
/* Expression: 1
* Referenced by: '<S1>/WindDirectionResC'
*/
1.0,
/* Expression: 0.5
* Referenced by: '<S9>/0.5 double'
*/
0.5,
/* Expression: 0
* Referenced by: '<S9>/0 double'
*/
0.0,
/* Expression: 255
* Referenced by: '<S1>/WindSpeedMaxC'
*/
255.0,
/* Expression: 1
* Referenced by: '<S1>/WindSpeedResC'
*/
1.0,
/* Expression: 0.5
* Referenced by: '<S10>/0.5 double'
*/
0.5,
/* Expression: 0
* Referenced by: '<S10>/0 double'
*/
0.0,
/* Computed Parameter: PFDMenuType_Value
* Referenced by: '<S3>/PFDMenuType'
*/
0U,
/* Computed Parameter: MFDModeTypeTCAS_Value
* Referenced by: '<S3>/MFDModeType = TCAS'
*/
3U,
/* Computed Parameter: MFDModeTypePLAN_Value
* Referenced by: '<S3>/MFDModeType = PLAN'
*/
2U,
/* Computed Parameter: MFDModeTypePPSN_Value
* Referenced by: '<S3>/MFDModeType=PPSN'
*/
1U,
/* Computed Parameter: MFDModeTypeBLANK_Value
* Referenced by: '<S3>/MFDModeType= BLANK'
*/
0U,
/* Computed Parameter: MFDMenuType_Value
* Referenced by: '<S3>/MFDMenuType'
*/
0U,
/* Computed Parameter: AFDConfigurationTypePFD_Value
* Referenced by: '<S3>/AFDConfigurationType PFD'
*/
1U,
/* Computed Parameter: Memory_InitialCondition
* Referenced by: '<S6>/Memory'
*/
0
};