Main Content

-tmp-dir-in-results-dir

Keep temporary files in results folder

Syntax

-tmp-dir-in-results-dir

Description

-tmp-dir-in-results-dir specifies that temporary files must be stored in a subfolder of the results folder. Use this option only when the standard temporary folder does not have enough disk space. If the results folder is mounted on a network drive, this option can slow down your processor.

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

If you are running an analysis from the user interface (Polyspace desktop products only), on the Configuration pane, you can enter this option in the Other field. See Other.

Examples

Store temporary files in the results folder:

  • Bug Finder:

    polyspace-bug-finder -tmp-dir-in-results-dir

  • Code Prover:

    polyspace-code-prover -tmp-dir-in-results-dir

  • Bug Finder Server:

    polyspace-bug-finder-server -tmp-dir-in-results-dir

  • Code Prover Server:

    polyspace-code-prover-server -tmp-dir-in-results-dir

Tips

If you use Polyspace as You Code extensions in IDEs, enter this option in an analysis options file. See options file.

See Also

Topics