"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?
0 个评论
回答(1 个)
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 Center 和 File Exchange 中查找有关 Introduction to Installation and Licensing 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!