[Jenkins]Jenkins

Not builtChanges

Summary

  1. Adds strict option to the launch configuration (commit: 915dddc) (details)
Commit 915dddc18a86c63d7eb01797310f8105a85e0bae by idhugoid
Adds strict option to the launch configuration

The -strict flag was added to VDMJ to address #736.
 (commit: 915dddc)
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/launching/VdmLaunchConfigurationDelegate.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/ui/launching/VdmRuntimeChecksLaunchConfigurationTab.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/IDebugConstants.java