Changing VDMJ Properties - overturetool/vdm-vscode GitHub Wiki

The default VDMJ properties can be changed by using the command Change Project Wide VDMJ Properties (Use CTRL+SHIFT+P to see a list of available commands). The command opens or creates a .vscode/vdmj.properties file for the chosen project in which values can be changed. Any changes in this file apply to the project.

If needed, any project wide value can be overwritten for a given debug session by specifying the property with its new value in the launch configuration.

The latest properties with their default values and descriptions can be found here.