Permalink
Browse files

Update Randoop version from 3.1.5 to 4.0.0 (#146)

Update Randoop version from 3.1.5 to 4.0.0; update .travis.yml to reproduce all bugs.
  • Loading branch information...
mernst authored and rjust committed Mar 7, 2018
1 parent 6aaaf38 commit 6bc9242998b362f8b11b8405e125bd571fdb0f62
@@ -27,26 +27,40 @@ jobs:
- script: carton exec ./test_randoop.sh
- script: carton exec ./test_fix_test_suite.sh
# Verify that all bugs are reproducible (run multiple jobs for projects that
# take a long time to finish.
- stage: verify
# take a long time to finish).
- stage: verify-bugs
## Chart
script: carton exec ./test_verify_bugs.sh -p Chart
## Closure
- script: carton exec ./test_verify_bugs.sh -p Closure -b1..10
- script: carton exec ./test_verify_bugs.sh -p Closure -b11..15
- script: carton exec ./test_verify_bugs.sh -p Closure -b16..20
- script: carton exec ./test_verify_bugs.sh -p Closure -b21..30
- script: carton exec ./test_verify_bugs.sh -p Closure -b31..40
- script: carton exec ./test_verify_bugs.sh -p Closure -b41..50
- script: carton exec ./test_verify_bugs.sh -p Closure -b51..60
- script: carton exec ./test_verify_bugs.sh -p Closure -b61..70
- script: carton exec ./test_verify_bugs.sh -p Closure -b71..80
- script: carton exec ./test_verify_bugs.sh -p Closure -b81..90
- script: carton exec ./test_verify_bugs.sh -p Closure -b91..100
- script: carton exec ./test_verify_bugs.sh -p Closure -b101..111
- script: carton exec ./test_verify_bugs.sh -p Closure -b112..122
- script: carton exec ./test_verify_bugs.sh -p Closure -b123..133
## Lang
- script: carton exec ./test_verify_bugs.sh -p Lang -b1..32
- script: carton exec ./test_verify_bugs.sh -p Lang -b33..65
## Math
- script: carton exec ./test_verify_bugs.sh -p Math -b1..27
- script: carton exec ./test_verify_bugs.sh -p Math -b28..54
- script: carton exec ./test_verify_bugs.sh -p Math -b1..18
- script: carton exec ./test_verify_bugs.sh -p Math -b19..36
- script: carton exec ./test_verify_bugs.sh -p Math -b20..54
- script: carton exec ./test_verify_bugs.sh -p Math -b55..80
- script: carton exec ./test_verify_bugs.sh -p Math -b81..106
## Mockito
- script: carton exec ./test_verify_bugs.sh -p Mockito -b1..5
- script: carton exec ./test_verify_bugs.sh -p Mockito -b6..10
- script: carton exec ./test_verify_bugs.sh -p Mockito -b11..15
- script: carton exec ./test_verify_bugs.sh -p Mockito -b16..20
- script: carton exec ./test_verify_bugs.sh -p Mockito -b21..25
- script: carton exec ./test_verify_bugs.sh -p Mockito -b26
- script: carton exec ./test_verify_bugs.sh -p Mockito -b27
- script: carton exec ./test_verify_bugs.sh -p Mockito -b28..38
- script: carton exec ./test_verify_bugs.sh -p Mockito -b21..26
- script: carton exec ./test_verify_bugs.sh -p Mockito -b27..38
## Time
- script: carton exec ./test_verify_bugs.sh -p Time
@@ -176,7 +176,7 @@ =head2 Logging

# Build class list arguments
my $test_classes="--classlist=$LOADED_CLASSES";
my $target_classes="--include-if-class-exercised=$MOD_CLASSES";
my $target_classes="--require-covered-classes=$MOD_CLASSES";

# Iterate over all modified classes
my $log = "$TMP_DIR/$PID.$VID.$TID.log";
@@ -6,4 +6,5 @@
--- org.mockitousage.verification.VerificationWithTimeoutTest::shouldAllowMixingOnlyWithTimeout
--- org.mockitousage.verification.VerificationWithTimeoutTest::shouldAllowMixingOnlyWithTimeoutAndFail
--- org.mockitousage.verification.VerificationWithTimeoutTest::shouldVerifyWithTimeout
--- org.mockitousage.verification.VerificationWithTimeoutTest::shouldFailVerificationWithTimeout
--- org.concurrentmockito.ThreadsRunAllTestsHalfManualTest::shouldRunInMultipleThreads
@@ -47,7 +47,7 @@ more details about the defects and requirements).
3. Please note you must use Java 7; Java 8 will cause failures.

4. Tell the tools which version of Randoop you wish to test:
By default, the system runs version 3.1.5 of Randoop.
By default, the system runs version 4.0.0 of Randoop.
(Located at "path2defects4j"/framework/lib/test_generation/generation/randooop-current.jar)
The randoop.jar you wish to test must be named randoop-current.jar.
- `export TESTGEN_LIB_DIR="path2directory-containing-randoop-current.jar"`
@@ -30,7 +30,7 @@ while getopts ":p:b:" opt; do
case $opt in
p) PID="$OPTARG"
;;
b) if [[ "$OPTARG" =~ ^[1-9]*\.\.[0-9]*$ ]]; then
b) if [[ "$OPTARG" =~ ^[0-9]*\.\.[0-9]*$ ]]; then
BUGS="$BUGS $(eval echo {$OPTARG})"
else
BUGS="$BUGS $OPTARG"
@@ -1,5 +1,5 @@
#
# Additional configuration options for running randoop
# Additional configuration options for running Randoop
#
--clear=10000
--string-maxlen=5000
@@ -68,7 +68,7 @@ ln -sf "$DIR_LIB_RT/$EVOSUITE_RT_JAR" "$DIR_LIB_RT/evosuite-rt.jar"
#
echo
echo "Setting up Randoop ... "
RANDOOP_VERSION="3.1.5"
RANDOOP_VERSION="4.0.0"
RANDOOP_URL="https://github.com/randoop/randoop/releases/download/v${RANDOOP_VERSION}"
RANDOOP_JAR="randoop-all-${RANDOOP_VERSION}.jar"
cd "$DIR_LIB_GEN" && [ ! -f "$RANDOOP_JAR" ] \

0 comments on commit 6bc9242

Please sign in to comment.