After the discussion on IRC, I've hacked a small test framework for xtla. Anyone reading this list is encourraged to try it: Just download my latest patches, and run M-x tla-tests-batch RET. Please, do it and send the output on this list in case of failure.
I suggest that all xtla developers write one testcase, and give their opinion on the framework. Writting your first testcase should become a top priority. Writting more testcases will come later. Once the framework is OK and understood by all of you, any testable feature added to xtla should be accompanied by at least one testcase. After some time, we'll need a feature freeze, and only bugfixes and new testcases will be accepted in the main archive (If the need comes, we'll branch a 1.1 version at that time). I know, writting testcase is not the most interesting part of hacking, but ... that's really important for our users ! -- Matthieu
