   File   : /home/cvs/cvsroot/projects/visualstate/scope/test/src/README,v
   Comment: Some info on tests 
   Release: scope-0-16_final

     Copyright (C) 2001-2002 Andrzej Wasowski
     
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
     the Free Software Foundation; either version 2 of the License, or
     (at your option) any later version.
     
     This program is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU General Public License for more details.
     
     You should have received a copy of the GNU General Public License
     along with this program; if not, write to the Free Software
     Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

   README,v 1.5 2002/10/24 20:17:22 wasowski Exp

   TESTING TRANSLATOR VsrAbsyn.sml

	Script: scope/test/src/tVsrAbsyn.sml

	This are conservative tests. We test if the new Absyn AST type checks
	and exhibits several basic properties (has proper depth, proper
	number of transitions, proper number of states).

    	Type testcase represents abstract syntax for specifying test cases:		         
                                                                                
          file  - vsp or vsr file path relative to scope/test 
         trans  - number of transitions + number of states with 
                  internal rules. All internal rules of given state
                  are translated to one new transition and one new 
                  state. 
         states - number of states + number of regions + twice number 
		  of states with internal rules. For each internal rule a
		  fresh or and fresh and state is created. Also add one if
		  vsr topstate is an and state (has some regions)
         depth  - respecting regions and internal rules (+2 for each vsr state 
		  with internal rule and +1 for region nesting). Also add one
		  if vsr topstate is an and state (has some regions)
                                                                                
         If NONE is given instead of value then the test is omitted 
         (with pass).

  TESTING INTEPRETER Interpr.sml
  	
	DESCRIPTION IS VERY STRONGLY OUTDATED

  	Script: scope/test/src/tInterpr.sml
	Type testcase represents abstract syntax for specifying test cases:

	file      - vsp or vsr file path relative to scope/test
	 
	inistates - list of fully qualified state names containing all (and
	            only) basic states constituting initial state
		    ocnfiguration (compared with result of Interpr.init).
		    Use asterisk (wildcard) for components of the name you do
		    not know (use it to specify generated parts of the name).
   
