>>>>> "Raymond" == Raymond Toy writes:
>>>>> "Robert" == Robert Dodier writes:
Raymond> Anyway, here is a patch that implements these ideas, in case anyone
Raymond> wants to play with this. Patch is a diff against the latest CVS
Raymond> sources.
Any objections to applying this patch? It seemed people were mostly
in favor with it many months ago.
A quick recap. This patch changes run_testsuite to take an extra arg
indicating which tests to run, like so:
run_testsuite(false,false,["rtest14", "rtest16"]);
This will only run rtest14 and rtest16. By default all tests will be
run.
Also testsuite_files is a Maxima variable that contains the list of
files for the test suite. You can edit this as you see fit. By
default, it will use testsuite.lisp to initialize this variable.
I think this was the final proposal for the appropriate interface.
Ray