17 Jan
2010
17 Jan
'10
11:55 p.m.
Dear all,
the last message by Pixel calls - ultimately - for a test suite for CL- UNIFICATION.
I usually use the simple test suite from Franz. Anybody has a different suggestion?
Also, I would like to see CL-UNIFICATION tests come in in order to make a good regression test for the library.
all the best
-- Marco Antoniotti