On 1 Jun 2007, Sean Luke wrote:
> I'm suddenly more glad I developed MTF for ECJ way back when.
> Even if we don't have any unit tests!
In case you a serious about the unit tests, I have converted the
tests in main() of MTF to a small set of 7 unit tests, also adding
a couple of distribution tests -- if you are interested, I will
gladly provide them.