This directory contains the following files:

    - CONTENTS
	: this file 

    - README
	: read carefully before doing experiment

    - install.sh
   
    - install_seeded.sh

    - genMatrix.sh

    - tool directory

	
1. install.sh <component directory> <component version>

   <component directory> : orig or seeded
   <component version> : 0...5

   Example:

   %install.sh orig 0 

	By default, this script install application3/v0.
     	If you want to try different version of appliaction,
	then modify script. 
   	** Restriction: app3/v1 doesn't work for v0 of component **
           (app3/v0 works for all the versions of component)

   Tasks done by this script:

       - Removes all previous files in ~/source directory.

       - Copies application and component to ~/source directory.

       - Compiles application, components and testdrivers.


2. install_seeded.sh <component directory> <component version>

   <component directory> : seeded
   <component version> : 1...5

	
	This script should be used when you run fault-matrix-tools.

3. genMatrix.sh <sir-subject-directory-name> <starting-version> <number-of-versions> <universe> <fault-matrix>
   <sir-subject-directory-name> : typically nanoxml unless you moved the SIR subject dir to a new name
   <starting-version> : 1...5  starting version for making the fault matrices
   <number-of-versions> : 1...5 how many versions to make a fault matrix of
   <universe> : the name of the universe file, e.g. universe.tsl
   <fault-matrix> : name of the fault matrix to be created into $experiment_root/nanoxml/info/v{1...5}

4. tool directory
   Contains the EqualizeLineNumbers tool used to produce equivalent source code alignment
   between original and fault seeded versions.  Reduces/eliminates non-determinisms due to
   line numbering changes caused by the faults.
