Peter W. V. Tran-Jørgensen
Peter W. V. Tran-Jørgensen
If you execute the VDM-SL spec below (using DEFAULT`f() as the entry) then the interpreter dies silently and no result is output to the console. The problems happens during the...
We need Java code-generation of `trap` statements in the AGCO project. Below are some test scenarios. ``` class Entry operations -- Result is 2 public noExcRaised : () ==> nat...
Overture will allow you to set a breakpoint on a `dcl` statement, like `dcl x : nat := 123`. But in the command line, you're not allowed to do that...
The copyright header has the wrong year "(Copyright (c) Overture contributors and others 2009-2016)". It should be 2017.
Although it happens very rarely, Overture sometimes raises an "internal error" after CT generation. The error seems harmless though (all tests have been executed). The following stack trace is produced:...
Based on the INTO-CPS review, we suggest that Overture features are be made more easily accessible by: - [x] Mentioning extra features on the Overture welcome page - Overture FMU...
Not all of the parser tests get executed and the test suites do not detect when new parser tests are being added. It seems like this problem has been present...