ultra-group / skalpel

A type error slicer for Standard ML
GNU General Public License v3.0
10 stars 1 forks source link

We need a testing framework #87

Open jpirie opened 10 years ago

jpirie commented 10 years ago

We can't easily test our project without a fair bit of work, we need a test framework that we can rely on. It should be the case that in answer to the question "How well does our software work at the moment?" if we were to say "It passes everything in our test framework", then that would mean we would be able to generate packages and do a release right there and then.

I'm going to start working on this, as we don't know which versions of Emacs we support, which would be important if we wanted to get our software used for teaching in the fall. Furthermore, I have motivation to work on broken Emacs versions as I can't use the Emacs front end with my Emacs version which is driving me round the twist! :-)

Ideally, this test framework eventually should be able to test everything. The webdemo, the back-end, various front ends, installation on other OS versions through VMs, and so on.