How do i save past code prover results 2018a?

5 次查看（过去 30 天）
Cory Mohling
Cory Mohling 2019-1-4
回答： Cory Mohling 2019-1-10
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?

请先登录，再回答此问题。

采纳的回答

Cory Mohling
Cory Mohling 2019-1-10
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.

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品


版本

R2018a

Community Treasure Hunt

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

Start Hunting!

Translated by