Main Content

Fix Polyspace Errors Related to Temporary Files

Polyspace® produces some temporary files during analysis. The following issues are related to storage of temporary files.

No Access Rights

When running verification, you get an error message that Polyspace could not create a folder for writing temporary files. For instance, the error message can be as follows:

Unable to create folder "C:\Temp\Polyspace\foldername

Cause

Polyspace produces some temporary files during analysis. If you do not have write permissions for the folder used to store the files, you can encounter the error.

Solution

There are two possible solutions to this error:

No Space Left on Device

When running verification, you get an error message that there is no space on a device.

Cause

If you do not have sufficient space on for the folder used to store the files, you can encounter the error.

Solution

There are two possible solutions to this error:

Cannot Open Temporary File

When running verification, you get an error message that Polyspace could not open a temporary file.

Cause

You defined the path for storing temporary files by using the environment variable RTE_TMP_DIR. You either used a relative path for the temporary folder, the folder does not exist or you do not have access rights to the folder.

Solution

There are two possible solutions to this error:

  • Instead of defining a temporary folder specific to Polyspace through RTE_TMP_DIR, use a standard temporary folder.

    To learn how Polyspace determines the temporary folder location, see Storage of Temporary Files During Polyspace Analysis.

  • If you continue to use RTE_TMP_DIR, make sure you specify an absolute path to an existing folder and you have access rights to the folder.