README.html

<html>
<head>
<link rel="stylesheet" type="text/css" href="./docs/docs.css" /> 
</head>
<body>

<h1>T3 Readme</h1>

At the top-level T3 has two tools: generator, and replay. The generator is used
to generate a test suite, and in doing so also test the target class.
The generated suite can be saved, and replayed again using the replay tool.


<h2>To Build</h2>

T3 requires Java 8. 

<ol>   

<li>We build with ant. Before running ant, set JAVA_HOME to the jdk of Java8.
    E.g. with bash-shell we would do: 
	
	<p>export JAVA_HOME=/cygdrive/c/apps/Java/jdk1.8
  
<li>run "ant jar" to build.
  
</ol>  
   
<h2>To Run</h2>   

Generator: java -cp T3.jar Sequenic.T3.T3Cmd [option]* targetclass

<p>Replay: java -co T3.jar Sequenic.T3.ReplayCmd [option]* suitefile

<p>For both, --help will list available options.
   
   
</body>
</html>