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