Peter W. V. Tran-Jørgensen

Results 59 comments of Peter W. V. Tran-Jørgensen

Any progress on this? Is it possible that we could merge this any time soon? @kke @jakolehm Thanks in advance.

I fully support this. Even if it requires breaking changes.

How would console interaction look like? Could you demonstrate simple usage of this feature?

Alright I get it. When you execute `default [module name]` the default module does not persist across sessions (it does not edit the launch configuration) - does it?

Good that we have the discussion going :) I agree that for test failures the framework should (at least) report the full path for the test input and the full...

Concerning the "separate tests" issue. Should this repo only test the standard examples (those that bundle with the tool) and not the SCSK tests? We could also simplify testing of...

Good point about using ordered collections to store warnings/errors. I've edited Kenneth's comment to include it as an improvement (yes you can do that on Github). The way you currently...

@nickbattle For most situations I think the tests are set up in the way you describe. In the type checker, interpreter, PO and code generator the input and result files...

I agree - let's move the examples tests out of the tool repo. Also, I'm happy with testing them very superficially and only make sure they don't crash the tool....

Great Luis! > I can change the framework so that the assertion and message are handled automatically and test developers simply implement the comparison method (see below). I can also...