Polyspace Code Prover server migration

8 Mar 2019
0 Réponses
Mise à jour 20 Août 2021
1 Vue (30 jours)

0 votes

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

Réponses (0)

Cette question est clôturée.

Produits

Version

R2013b

Tags

Clôturé :

MATLAB Answer Bot
MATLAB Answer Bot
le 20 Août 2021

Community Treasure Hunt

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

Start Hunting!

Translated by