Polyspace Code Prover server migration

조회 수: 3 (최근 30일)

Andrea F. 2019년 3월 8일

마감: MATLAB Answer Bot 2021년 8월 20일

Hello all,

I need to migrate the Polyspace server to another physical machine.

What's the best way to migrate the Code Prover results?

Is it possible to directly copy and paste the Polyspace server content in the following format ?

.../Polyspace/Integration/%22Project%22/

.../Polyspace/Integration/%22Project%22/RUN1.cdf

.../Polyspace/Integration/%22Project%22/RUN1.db

.../Polyspace/Integration/%22Project%22/RUN1.zip

Thank you very much.

Best regards

이 질문은 마감되었습니다.

이 질문은 마감되었습니다.

R2013b

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

Translated by