Check compatibility to other OS

[FahrJo]

Tested on (REST-API, direct stdout, Ultimate wrapped in Docker Container):

• MacOS (12.6.3)
• Linux (Debian 11)
• Windows 10

[FahrJo]

In general the extension is working on windows. Only running Ultimate itself ended in an error of Ultimate. This has nothing to do with the VSCode extension, but so far only the REST API mode works for sure.

[danieldietsch]

I tried to use the extension with Windows 10, Rest API and default server, but it seems like it does nothing.

Is there any way of triggering the verification request manually and not with each save? Are there some log levels or debug modes that I could try?

[FahrJo]

Currently the extension is activated as soon as the active editor contains a C file. Verification is only triggered on saving the file (no changes on the content are necessary, STRG+S should always trigger the verification). To be honest, my tests on Windows were relatively quick, but I'll check it again and get back to you 😬

[FahrJo]

But thank you for testing and reporting!

[FahrJo]

@danieldietsch Did you open the file from a trusted workspace? As far as I know, extensions are not activated on files which are not in a workspace. This might be a possible issue for your description. 🤔

[danieldietsch]

No, its a trusted workspace.

[FahrJo]

Ok, I just tested again and I don't have any issues with Windows 10 and the default backend. Indeed it does not work with https://ultimate.sopranium.de since the URL after the base url is different, I have to change that. The settings below (default except for the settings and toolchain which are not needed for the REST API) work on my test machine:

Is there a spinning wheel labeled with "Fetching Ultimate results..." in the status bar after saving the file and do you have the output windows "Ultimate Results" and Ultimate Log at all?

[danieldietsch]

It started working after restarting vscode 👍