Info
Questa domanda è chiusa. Riaprila per modificarla o per rispondere.
Polyspace Code Prover server migration
1 visualizzazione (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (0)
Questa domanda è chiusa.
Vedere anche
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!