Peter W. V. Tran-Jørgensen
Peter W. V. Tran-Jørgensen
Any thoughts on how to construct the test from the XML?
Okay I see what you mean. Maybe that works if the XML contains all the information we need. I'm not sure it includes trace variables though.
You are very right. My problem is just how and where we store it. As I see it there are two ways to do this 1. Let's say we store...
I don't think we need to convert all the CallSequences to VDM. Only the one we need to send to the interpreter. Let's say we have serialised the entire TestSequence...
Okay. So assuming that we add the "lets" then the `toString` of the operation calls should be fine right?
More input on this: A (single) test is send to the interpreter using the `Launch` method, shown below, which is located in the `TraceDebugLauncher` class. ``` public void Launch(IVdmProject project,...
Yes, you are right - see #602. This time, let's aim for a more robust solution.
It was @lausdahl who implemented the first version of the "go-to-declaration" feature. I don't think the students had anything to do with it. The students developed the auto-completion feature (which...
Overture now uses the new welcome page. Strictly speaking the remaining updates only affect the website.
I looked into this. The parser tests are awfully broken and rely on some old testing mechanism. Instead of trying to patch it I think the tests need to be...