MATLAB: Is it possible to automatically download results from the server once the analysis is complete using PolySpace Client for C/C++ 6.0 (R2008b)

polyspacePolyspace Client for C/C++

I would like to automatically download results from the server once the analysis is complete and want to know if this is possible via command line using the post analysis command.

Best Answer

It is possible to download analysis results from the server using batch commands which have been introduced as a feature in PolySpace Client for C/C++ 6.0 (R2008b).

The following set of commands can be used for this purpose:

The PSQUEUE-DUMP command can be used to verify the status of all analysis (check whether it is complete).

psqueue-dump

It displays on standard output (stdout) the status of all analysis in the queue.

Once the analysis is complete, the PSQUEUE-DOWNLOAD command can be used to download the results from the server.

psqueue-download <id>

See the related solution listed below for more information on using these batch commands.

Related Solutions

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

It is possible fot the 'polyspace.conf' file to not be updated correctly when installing a new release of PolySpace. This is especially likely when a previous release was only partially removed.

To correct this issue, the polyspace.conf file needs to be updated with location and language that are supported by the currently installed PolySpace product.

Please update the following fields in the configuration file:

 product=<absolute_path_to_product>
 lang=<language supported by the product>

Note: it is possible to have more than one 'product' and 'lang' fields.

For example:

- On a Windows OS, with PolySpace Client for C/C++, polyspace.conf located in c:\PolySpace\PolySpace_RLDatas, and looks like:

 # Local configuration.
 product=C:\PolySpace\PolySpaceForCandCPP_R2008b
 lang=C
 lang=CPP
 # Remote Launcher configuration
 datadir=C:\PolySpace\PolySpace_RLDatas
 username=<login>
 cpu=<hostname>

- On a UNIX OS, with PolySpace Client for C/C++, polyspace.conf located in /etc/PolySpace and looks like:

 # Local configuration.
 product=/usr/local/PolySpace/PolySpaceForCandCPP_R2008b
 lang=CPP
 lang=C
 # Remote Launcher configuration.
 datadir=/var/PolySpace
 username=<login>
 cpu=<hostname>

Note: username and cpu are not mandatory fields for a PolySpace Client installation.

MATLAB: Is PolySpace supported on Linux

This change has been incorporated in Release 2009b (R2009b). For more information, see the system requirements page below:

https://www.mathworks.com/products/availability.html#PB

For all other distributions of Linux, it may be possible to run PolySpace using the -allow-unsupported-linux flag upon startup. However, PolySpace is only supported under the distributions listed in the page above.

Best Answer

Related Solutions

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

MATLAB: Is PolySpace supported on Linux

Related Question