How do i save past code prover results 2018a?

1 view (last 30 days)
Cory Mohling
Cory Mohling on 4 Jan 2019
Answered: Cory Mohling on 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?

Sign in to answer this question.

Accepted Answer

Cory Mohling
Cory Mohling on 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.

More Answers (0)

Categories

Find more on Options at Command Line Only in Help Center and File Exchange

Tags

Products


Release

R2018a

Community Treasure Hunt

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

Start Hunting!