- 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.
while executing Polyspace Bugfinder and code prover we are getting this Error: identifier "Float64" is undefined
3 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
while executing Polyspace Bugfinder and code prover we are getting this Error: identifier "Float64" is undefined
0 Kommentare
Antworten (1)
Vandit
am 13 Jun. 2024
Hello Basheer,
To address the "Float64" undefined identifier error, you can refer to the following steps:
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.
2 Kommentare
Siehe auch
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!