README.html 881 Bytes
Newer Older
1
2
3
4
5
6
7
8
<html>
<head>
<link rel="stylesheet" type="text/css" href="./docs/docs.css" /> 
</head>
<body>

<h1>T3 Readme</h1>

9
10
11
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.
12
13
14
15




16
<h2>To Build</h2>
17

18
T3 requires Java 8. 
19
20
21
22

<ol>   

<li>We build with ant. Before running ant, set JAVA_HOME to the jdk of Java8.
23
24
25
    E.g. with bash-shell we would do: 
	
	<p>export JAVA_HOME=/cygdrive/c/apps/Java/jdk1.8
26
  
uprime815's avatar
uprime815 committed
27
<li>run "ant jar" to build.
28
29
30
  
</ol>  
   
31
<h2>To Run</h2>   
32
33
34
35
36
37
38
39
40

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>
uprime815's avatar
uprime815 committed
41
</html>