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!