Info
이 질문은 마감되었습니다. 편집하거나 답변을 올리려면 질문을 다시 여십시오.
Polyspace Code Prover server migration
조회 수: 1 (최근 30일)
이전 댓글 표시
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
댓글 수: 0
답변 (0개)
이 질문은 마감되었습니다.
참고 항목
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!