Polyspace - Relative Paths in Options File

Hello, I'm trying to set the -code-behavior-specifications and the -classification flags for Polyspace as You Code in an options file that gets loaded with -options-file flag.

The options file is stored in our repository, so that all users use the same flags. However, it can be that users clone the repo in different locations, which is why the paths for -code-behavior-specifications and the -classification should be relative!

This works fine, when I call polyspace-bug-finder-access.exe from the command line. However, when using the VSCode extension, that executable gets called in a temporary working directory, and the files are not found when using relative paths.

Is there a placeholder like ${workspaceFolder} that I can use in the options file that resolves to the parent directory of the options file or to a predefined location?

Note: It is possible to load a second -options-file from the options file using a path relative to the options file (at least when both are in the same directory). This is unfortunately not possible with the -code-behavior-specifications and the -classification flags.