Skip to content
Permalink
Browse files

Merge pull request #233 from caseyxing/RandoopREADME

Clarifies README for Setting Up Randoop
  • Loading branch information...
rjust committed Aug 25, 2019
2 parents dcabc87 + 0825aa8 commit 0acfdc06d3a9746a4258c165e36b288c110d178a
Showing with 7 additions and 3 deletions.
  1. +7 −3 framework/test/README.md
@@ -35,7 +35,11 @@ defects (see the top-level
[README](https://github.com/rjust/defects4j/blob/master/README.md) for
more details about the defects and requirements).

1. Optionally, indicate where to find the version of Randoop you wish to test.
1. Follow steps 1-4 under
[Steps to set up Defects4J](https://github.com/rjust/defects4j/blob/master/README.md#steps-to-set-up-defects4j)
in the top-level README.

2. Optionally, indicate where to find the version of Randoop you wish to test.
- `export TESTGEN_LIB_DIR="path2directory-containing-randoop-current.jar"`

The randoop.jar you wish to test must be named randoop-current.jar.
@@ -45,7 +49,7 @@ more details about the defects and requirements).
matching version of replacecall.jar to replacecall-current.jar in the same location as
randoop-current.jar.

2. Run the test generation and coverage analysis:
3. Run the test generation and coverage analysis:
- `./randoop_coverage.sh`

Currently, this does not generate tests for all the defects, just five in
@@ -56,7 +60,7 @@ more details about the defects and requirements).
The test scripts set `TMP_DIR` to */tmp/test_d4j*. If you wish to change
this, you will need to modify `./test.include`.

3. Display the coverage data:
4. Display the coverage data:
- `../util/show_coverage.pl`

The raw coverage data is found at *$TMP_DIR/test_d4j/coverage*.

0 comments on commit 0acfdc0

Please sign in to comment.
You can’t perform that action at this time.