changed default release to VDM10
Update to the result files: All collection utility classes now use the equals method in the runtime Utils class
Removed the equal methods from the collection utility classes
Imports cleanup
Updated the JavaFormat class to use the equals method in the Utils runtime class when comparing collections
Corrected console printout in codegen plugin
Added test revealing recently fixed problem with generation of optionally typed collections that are compared
Minor fix to the console printout in the codegen plugin
Simplified a few tests
Updated the flags in the CompileTest system
Merge remote-tracking branch 'origin/test' into pvj/main
Updated handling of corner cases in the visitors that construct the IR
Handled FIXME: Improved the way bool assignments are constructed
Handling of the bracket type in the IR construction was missing
Minor updates to test result files
Added some tests to exercise generation of pre conditions
Added test case for generation of pre and post conditions
Updated the test execution system with support for execution of tests where the output is a runtime error such as a pre condition failure
Updated the function transformation to take pre and post conditions into account
Updated the function transformation to take pre and post conditions into account