How do i save past code prover results 2018a?

5 visualizaciones (últimos 30 días)
Cory Mohling
Cory Mohling el 4 de En. de 2019
Respondida: Cory Mohling el 10 de En. de 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?

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Cory Mohling
Cory Mohling el 10 de En. de 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.

Más respuestas (0)

Categorías

Más información sobre Options at Command Line Only en Help Center y File Exchange.

Etiquetas

Productos


Versión

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by