Nick Battle
Nick Battle
I'll remove the Mergable tag on this until the LB has had a chance to comment.
After discussions in the LB, the parser will be changed to use the current behaviour by default/-strict, but to allow a setting to choose nested comments to be warned, errored,...
The -o option was originally added to VDMJ a long time ago in the hope that a serialized copy of the AST/TC tree could be loaded (deserialized from disk) faster...
With Serialized added, the test example included does save and re-load a "lib" file: ``` Parsed 1 module in 0.095 secs. No syntax errors and 1 warning Type checked 1...
Simon's patch was applied, with a small change to force a small number of retries even if the error number does not decrease. This is to protect against the case...
Change now available in ncb/development.
After discussions in the Language Board (https://github.com/overturetool/language/issues/52), this change will go ahead, though with the default/-strict behaviour being as it currently is. A new entry in Properties.java is used to...
The Overture setup (ie. Window/Preferences/VDM/Combinatorial Testing) has a box called "Additional VM Arguments". This allows you to set things like maximum heap that is allocated to the CT runtime. Mine...
How much memory does the VS Code/VDMJ combination use during the same test run? (I'm not sure what that proves, but if it's significantly less it might indicate some sort...
Thanks for reporting this. The first thing that struck me looking at the example is that you have "dcl" statements that are not all at the start of the block....