Info

Diese Frage ist geschlossen. Öffnen Sie sie erneut, um sie zu bearbeiten oder zu beantworten.

Polyspace Code Prover server migration

3 Ansichten (letzte 30 Tage)

Andrea F. am 8 Mär. 2019

Geschlossen: MATLAB Answer Bot am 20 Aug. 2021

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

Diese Frage ist geschlossen.

Diese Frage ist geschlossen.

R2013b

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

Translated by