search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Issue with ChessWayRT example project #180

Closed FrederikPM closed 2 years ago

FrederikPM commented 2 years ago

The VDM-RT example project ChessWayRT cannot be handled by the extension.

Looking at the server log there are two null pointer exceptions being reported. See attached log.

nickbattle commented 2 years ago

Oops! OK, thanks for the log. I'll take a look later, though NPEs are usually easy to spot.

nickbattle commented 2 years ago

These were NPEs in the typechecker, which is unusual (since you have to typecheck the specs, so we usually notice these). I guess no one has even opened this model in a while.

I've pushed a fix to "development".

The model now, superficially, looks the same as Overture, though I would have to compare the detailed logs and timings to be sure. Both of them stop eventually with a Periodic threads overlapping in 'Controller' error. That may be a genuine problem with the model though.

FrederikPM commented 2 years ago

Ah okay. Yeah my understanding of these example projects is that they might not have been looked at/used by anyone in a long time.

That sounds great. I'll just close this issue then?

nickbattle commented 2 years ago

Yes, I think a genuine problem was fixed, so we can close this.

I noticed that "find references" seems to have a problem with this spec, but I'll open another issue for that.