-
Notifications
You must be signed in to change notification settings - Fork 6
Changing VDMJ Properties
Nick Battle edited this page Sep 27, 2022
·
5 revisions
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.
- Home
- Getting Started
- Editor Features
- Including and Excluding Project Files
- Interpretation and Debugging
- Including Libraries
- Proof Obligation Generation
- Combinatorial Testing
- Animated Usage Examples
- Worked AlarmSL Examples
- Extension Settings
- Changing VDMJ Properties
- Translation
- Coverage
- Dependency Graph
- Real-time Log Viewer
- Code Generation
- Remote Control
- External File Formats
- Annotation Output
- Using VDM Values in Java
- VS Code Live Share
- Design
- The Specification Language Server Protocol
- For Developers/Contributors