How do i save past code prover results 2018a?

3 Ansichten (letzte 30 Tage)
Cory Mohling
Cory Mohling am 4 Jan. 2019
Beantwortet: Cory Mohling am 10 Jan. 2019
I have used polyspace code prover in 2014b and 2016b. I'm trying to use 2018a now and I don't seem to see how to generate results without overwriting the previous run. In past versions, there was a setting to overwrite existing run or create a separate that I can't seem to find. Can someone tell me if this option still exists and where I can find it if it does?

Melden Sie sich an, um diese Frage zu beantworten.

Akzeptierte Antwort

Cory Mohling
Cory Mohling am 10 Jan. 2019
Oh finally found it. There is a drop down menu from the top under 'Run Code Prover' that has an option to create a new results folder.

Weitere Antworten (0)

Kategorien

Mehr zu Options at Command Line Only finden Sie in Help Center und File Exchange

Tags

Produkte


Version

R2018a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by