"Transport stopped" When executing polyspace-code-prover

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?

Answer 1

[Shantanu Dixit]

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.

[Ricardo]

That solved it, thanks!