"Transport stopped" When executing polyspace-code-prover

8 次查看(过去 30 天)
I'm trying to run code prover in linux with the following cmd:
polyspace-code-prover -batch -scheduler <server name>.domain.net -sources <file.c>
But I just get a message saying "Transport stopped" almost immediatley.
I am able to run the exact same command on windows with no errors.
What could be causing that problem in linux?

回答(1 个)

Shantanu Dixit
Shantanu Dixit 2025-3-25
编辑:Shantanu Dixit 2025-3-25
Hi Ricardo,
I encountered a similar issue while working with Polyspace Code Prover on Linux. The error "Transport stopped" might be related to missing 'x11' libraries, which are required by MATLAB on Linux. If you're seeing errors about being unable to open the libXT library, it indicates a lack of 'x11' libraries. Here's a workaround that helped me resolve it.
First, update the package lists:
sudo apt-get update -y
Then, install the necessary 'x11' development libraries:
sudo apt-get install -y libx11-dev
sudo apt-getinstall xorg-dev
The above steps resolved the issue for me. Hope this helps.

类别

Help CenterFile Exchange 中查找有关 Introduction to Installation and Licensing 的更多信息

产品


版本

R2023a

Community Treasure Hunt

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

Start Hunting!

Translated by