Hello Basheer,
To address the "Float64" undefined identifier error, you can refer to the following steps:
- Ensure that the compiler version and settings you are using with Polyspace are compatible with the "Float64" data type. This may involve using a specific version of the compiler that supports this data type or configuring your analysis to recognize custom definitions.
- If "Float64" is a typedef or a specific definition within your codebase or third-party libraries you are using, verify that Polyspace is correctly configured to include these definitions during analysis.
You can also refer to the following link, which describes how Polyspace addresses compiler-specific data types and configurations. This link provides a solution for solving the "identifier '__int128' is undefined" error, which might be analogous to the issue you are encountering:
Hope this helps.
