This readme describes the plan for generating tests automatically
from the description in the structured comment, along with some 
additional information.  

For each source file:
1. Find the structured comment (/*@)
2. Find the "Input Parameters" entry and read the parameters (lines
   starting with +, . and ending with -; single args use .
3. Find the "Output Parameters" and match types as for input parameters
4. For each input parameter, check the defined values (range) and
   generate test calls.  E.g., for ravalude that should be non-negatiuve
   integers, make a call with a negative value.
5. Use template for the start/end of the test program