-
Notifications
You must be signed in to change notification settings - Fork 6
Changing VDMJ Properties
FrederikPM edited this page Mar 31, 2022
·
5 revisions
The default VDMJ properties can be changed by using the command 'Change Project Wide VDMJ Properties'. The command opens a 'vdmj.properties' file for the chosen project in which values can be changed. Any changes in this file applies 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 value and description 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