Kenneth Lausdahl
Kenneth Lausdahl
Library for testing sl models using VDMUnit for sl Library: ``` module TestRunner exports all definitions operations run : ()==>() run()== is not yet specified; markFail : () ==> ()...
During the development vdm2c generator we discovered that AVariableExp's some times gets a `vardef` of type `VariableDefinition` and some times of `UntypedDefinition`. The same applies to the type `AIntType` or...
Consider the following example: ``` class A operations public A : int ==> A A (-) == is subclass responsibility; end A class B is subclass of A operations public...
### Description The Overture IDE debugger is preventing inspection of sequences with more than 33 elements. It simply truncates the values shown to 33 and also inserts an extra element...
It would be nice with VDM-SL support for testing like VDMUnit. It could work by using modules ending with **My`Test`** and then scanning for operations starting with `test` like in...
Would it be possible to change the Delegate loading from using no package to a package like `org.overture.lib` or search default first and then this package? There are some utility...
We have used java packages in a wrong way where we have mixed packages between jars. Eg. the type checker has a package `org.overture.ast.factory` which is provided by the ast...
Currently the release of the IDE and p2 are not connected to the maven release phases which would have made it even simpler to release. Therefore I suggest that we...
The release 2.0.4 contains a reference to an untrusted SVN repo and this it is not possible to compile the tool. (required for mac as no binary is released for...