
# call with gap4dev -b schedule.tst > schedule.out &

# eventually it will be necessary to reset the random number generator
# after each file!
# (running ReadTest( "ctblpope.tst" ) twice shows the problem)

ReadTest( "ctbldeco.tst" );
ReadTest( "ctbllib.tst" );
ReadTest( "ctblpope.tst" );
ReadTest( "docxpl.tst" );
ReadTest( "hardtest.tst" );
ReadTest( "multfree.tst" );

