Luis Diogo Couto

Sure. When you launch an SL model in console mode, one of the modules gets set as the default. This is the one that you can operations on directly. There...

@peterwvj , you are correct. The default has to be re-set every time you launch. Not very convenient when you do edits. @nickbattle , you're probably right. In VDMJ you...

So, I've read this and also read through #474 It seems like the problems are: - making sure all tests are correctly run (this includes passing the external inputs and...

Some of the stuff suggested here, such as using partial properties to update all tests or running tests on all sources in a folder, is already implemented. I'm sad we...

Ok, this thread is in risk of being abandoned. Do not want that! So, after much thinking, I've come around on the examples tests. They should be moved out of...

I've also gone through the tasks list and moved it to the issue root. It's a better place. I've removed and changed a few things from there. - update property:...

From the NM today, it sounds like it may still take a while before they go open source. We probably shouldn't wait for it. So, for now we use the...

Yep. GPL allows you to modify. So we can just use your modified suite, I hope :). I agree that the dream scenario would be the inputs as pure vdm...

Hi guys, I am implementing some of these new features and I'd like opinions on something. When reporting test failures, we want to inform the "user" of input and result...

Ok, that's one decision. There are 2 more issues though: - With this approach we cannot use assertEquals. This is a pity because most IDEs allow you to click an...