MATLAB: Is it possible to use Polyspace under WSL

Polyspace Bug FinderPolyspace Bug Finder ServerPolyspace Code ProverPolyspace Code Prover Server

Is it possible to use Polyspace under WS, and all its features like polyspace-configure ?

Best Answer

The benefits of WSL is to able to call Windows executables in a Linux environment. But polyspace-configure cannot work in this heterogeneous environment.
The Windows version of polyspace-configure, when launched under WSL, is going to instrument the build command using Windows OS functions, but for a Linux command or set of commands, running in a Linux environment.
The two environments are incompatible and polyspace-configure is then unable to do its job.
Related Question