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/rtGetInf.h

29 lines
802 B

/*
* rtGetInf.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_rtGetInf_h_
#define RTW_HEADER_rtGetInf_h_
#include <stddef.h>
#include "rtwtypes.h"
#include "rt_nonfinite.h"
extern float rtGetInf(void);
extern real32_T rtGetInfF(void);
extern float rtGetMinusInf(void);
extern real32_T rtGetMinusInfF(void);
#endif /* RTW_HEADER_rtGetInf_h_ */