How do i save past code prover results 2018a?

3 vues (au cours des 30 derniers jours)
Cory Mohling
Cory Mohling le 4 Jan 2019
Réponse apportée : Cory Mohling le 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?

Connectez-vous pour répondre à cette question.

Réponse acceptée

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

Plus de réponses (0)

Catégories

En savoir plus sur Options at Command Line Only dans Help Center et File Exchange

Tags

Produits


Version

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by