-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathREADME-USERS.txt
More file actions
24 lines (16 loc) · 837 Bytes
/
Copy pathREADME-USERS.txt
File metadata and controls
24 lines (16 loc) · 837 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
This folder contains four tools.
Each tool has a README-<tool>.txt file that tells you how to run the
tool.
Use the <tool>.properties file to change the parameters that are passed
to the tool.
You will need Ant to run the tool.
This folder also contains a ./aut/ folder with a "Hello World" example.
All the .properties files are designed for this example.
To get started, first run the JFCRipper. If you have Ant and Java
installed correctly, the tool should run without any problems.
For the "Hello World" example,
try the following sequence of commands:
ant -Dproperties=jfcripper.properties -f jfcripper.xml
ant -Dproperties=GUIStructure2GraphConvert.properties -f GUIStructure2GraphConvert.xml
ant -Dproperties=TestCaseGenerator.properties -f TestCaseGenerator.xml
ant -Dproperties=jfcreplayer.properties -f jfcreplayer.xml