MATLAB: How to get the Id of an Polyspace 2012a Analysis started by Command Line

2012aanalysiscommand lineidpolyspacePolyspace Client for C/C++server

It is possible to start an analysis in Polyspace 2012a with the command line using a command in

[POLYSPACE_INSTALLATION_DIR]\PolyspaceForCandCPP_R2012a\Verifier\wbin\

Having started an analysis, I need to know which id this analysis has on the server in order to retrieve the results. Is there a way to get the id of the analysis other than to check the log file?

Best Answer

Hi ! In the results folder, you will find a text file named ID.txt. There is a little parsing to do however : the ID is the number before the semi-column.

Best regards,

Alexandre

Related Solutions

MATLAB: Matlab 2012a

A more general answer might be:

TMW generally does not announce the release date prior to the release. According to wikipedia ( http://en.wikipedia.org/wiki/MATLAB) the release schedule has been:

R2006a 3/1      R2006b 9/1
R2007a 3/1      R2007b 9/1
R2008a 3/1      R2008b 10/9
R2009a 3/6      R2009b 9/4
R2010a 3/5      R2010b 9/3
R2011a 4/8      R2011b 9/1
R2012a 3/1

So I guess from this history you can expect it the first couple of days of March/September, but if it doesn't come by that first week it could be a while.

MATLAB: Does matlab 2012a auto vactorize

Yes, between those two releases, MATLAB did make a significant optimization improvements. One of the significant improvements was that MATLAB now automatically predicts preallocation requirements, saving significant time in memory management if the programmer had not put in preallocation.

Best Answer

Related Solutions

MATLAB: Matlab 2012a

MATLAB: Does matlab 2012a auto vactorize

Related Question