PP/CodegenPP has errors

Open jonaskrask opened this issue 3 years ago • 1 comments

The example project PP/Codegen has a bunch of errors that I am far too inexperienced in VDM to fix...

@nickbattle and @idhugoid can you see if these are VDMJ errors or if the specification is riddled with errors. And tell me what to do with the example :)

Feb 15 '22 13:02 jonaskrask

I had a quick look at this. The model is just badly written - there are many illegal statements and expressions. I suspect it was written a long time ago when the tools were less fussy about things. There is a VDMJ jar in the example folders that is version 2.0.1... we're currently on 4.5.0 :-)

It looks too messy to fix. The easiest solution would be to drop it from the examples completely?

Dec 10 '22 13:12 nickbattle