This file contains the minimum information necessary to run 
regression testing on the Standard ML of New Jersey compiler.

1) To install:
--------------

Use:
	uncompress -c testing.tar.Z | tar fox -

This will create the testing directory called 'testing'.
'testing' contains the following directories:

	benchmarks - real benchmark test programs

	bugs	   - tests to ensure no regression 

	modules	   - tests that exercise the module system

	bin	   - shell scripts

Be warned that the tar file contains close to 900 files.


2) To run:
----------

To run all the tests use the following steps:

	1. cd to testing
	2. execute: 
		
		bin/testall -s <sml-executable>

Output is sent to stdout, and should be obvious with regard to what
is happening.


3) To add to the suite:
-----------------------

Each directory in 'testing', contains the subdirectories:

   1. tests	- for the sml test files
   2. good	- for files that contain correct output from the compiler
   3. bad	- for files that contain incorrect output from the compiler

Hopefully the 'bad' directory will not contain many files.

Assume that the test files x1.sml and x2.sml are to be added to 
the 'bugs' suite. Perform the following steps:
	
	0. cd to the 'testing' directory.

	1. make a copy of x1.sml and x2.sml under 'bugs/tests'.

	2. make a temporary directory called 'tmp' say.
	
	3. execute:  
	
		touch tmp/x1.out tmp/x2.out

	   to create the files x1.out and x2.out
	
	4. Execute:

		bin/testml -T bugs/tests -D tmp

	5. the file x1.out and x2.out will be replaced with the 
	   output from the compiler under /usr/local/bin/sml.
	   To specify a different compiler use the -s option.

	6. decide if the output is correct and move appropriately
	   to either bugs/good or bugs/bad.

Contact george@research.att.com for difficulties.
If you do add test programs, i would like to know.





	
