Skip to content

Commit

Permalink
Update DHELL url in doc (#339)
Browse files Browse the repository at this point in the history
  • Loading branch information
sbihel authored and danglotb committed Feb 27, 2018
1 parent 6d86c87 commit c28da20
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions docs/dspot-for-dummies.md
Expand Up @@ -57,12 +57,12 @@ javaVersion=8
# (optional) path to the output folder, default to "output_diversify"
outputDirectory=dspot-out/
# (optional) filter on the package name containing tests to be amplified ("example" => "example.*")
filter=fr.inria.stamp.examples.dhell*
filter=eu.stamp.examples.dhell*
```

2. Execute DSpot
```
java -jar ../dspot/dspot/target/dspot-1.0.5-SNAPSHOT-jar-with-dependencies.jar -p ./dspot.properties -i 1 -t fr.inria.stamp.examples.dhell.HelloAppTest -a MethodAdd
java -jar ../dspot/dspot/target/dspot-1.0.5-SNAPSHOT-jar-with-dependencies.jar -p ./dspot.properties -i 1 -t eu.stamp.examples.dhell.HelloAppTest -a MethodAdd
```
The execution uses these parameters:
* jar: [mandatory] specify the path to the DSpot library
Expand Down Expand Up @@ -160,13 +160,13 @@ javaVersion=8
# (optional) path to the output folder, default to "output_diversify"
outputDirectory=dspot-out/
# (optional) filter on the package name containing tests to be amplified ("example" => "example.*"
filter=fr.inria.stamp.examples.dhell*
filter=eu.stamp.examples.dhell*
```

2. Execute DSpot
```
cd dspot
java -jar target/dspot-1.0.0-jar-with-dependencies.jar -p ../dheg/dspot.properties -i 1 -t fr.inria.stamp.examples.dhell.HelloAppTest -b GradleBuilder -a MethodAdd
java -jar target/dspot-1.0.0-jar-with-dependencies.jar -p ../dheg/dspot.properties -i 1 -t eu.stamp.examples.dhell.HelloAppTest -b GradleBuilder -a MethodAdd
```
The execution uses these parameters:
* p: [mandatory] specify the path to the configuration file.
Expand Down

0 comments on commit c28da20

Please sign in to comment.