Why do I get an error message "Error: No PolySpace product found to uncompress tar archive" when using Polyspace Spooler?

조회 수: 2 (최근 30일)
When I try to download a verification results from the server using Polyspace spooler an error pop up:
Error: No PolySpace product found to uncompress tar archive

채택된 답변

MathWorks Support Team
MathWorks Support Team 2010년 10월 27일
The error message happens when results to download concern a release prior R2010b. Old results already exist on the Spooler and have to be downloaded with new release of Polyspace Client.
It concerns results until R2009a. Until this release tar was using instead of zip for the packaging of results to upload or download from Polyspace server.
It exists two workarounds:
1. Even if pop-up has raised, the download has been done. In the results folder, It needs to unzip 'polyspace.tar.gz' file and then open results by double clicking on last '*.RTE' file.
2. If Polyspace for Client R2010b has been installed on top of Polyspace Client R2009a (without uninstall R2009a), edit 'polyspace.conf' file located inside %POLYSPACE_COMMON%\..\PolySpace_RLDatas and add a path through R2009a product. Hereunder field to add if results concern Polyspace Ada R2009a:
product=C:\PolySpace\PolySpaceForADA_R2009a.
Then, R2009b results can be downloaded again through Polyspace spooler.

추가 답변 (0개)

카테고리

Help CenterFile Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

태그

아직 태그를 입력하지 않았습니다.

Community Treasure Hunt

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

Start Hunting!

Translated by