SuccessConsole Output

Started by timer
[EnvInject] - Loading node environment variables.
Building remotely on sos-builder04 (lin) in workspace /builds/workspace/nopol
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Done
Cloning the remote Git repository
Cloning repository https://github.com/SpoonLabs/nopol.git
 > git init /builds/workspace/nopol # timeout=10
Fetching upstream changes from https://github.com/SpoonLabs/nopol.git
 > git --version # timeout=10
 > git fetch --tags --progress https://github.com/SpoonLabs/nopol.git +refs/heads/*:refs/remotes/origin/*
 > git config remote.origin.url https://github.com/SpoonLabs/nopol.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url https://github.com/SpoonLabs/nopol.git # timeout=10
Fetching upstream changes from https://github.com/SpoonLabs/nopol.git
 > git fetch --tags --progress https://github.com/SpoonLabs/nopol.git +refs/heads/*:refs/remotes/origin/*
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
 > git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Checking out Revision 080e166f3abeee45c39bb00f208ccccde9e3a977 (refs/remotes/origin/master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 080e166f3abeee45c39bb00f208ccccde9e3a977
Commit message: "Update default-nopol-config.ini"
 > git rev-list --no-walk f6ce283edfbda5efe93bc38cd0f1743256671a64 # timeout=10
[nopol] $ /bin/sh -xe /tmp/jenkins8417551869222636117.sh
+ rm -rf /builds/.m2/repository/fr/inria/gforge/spoon
[nopol] $ /bin/sh -xe /tmp/jenkins7951745647043481648.sh
+ cd test-projects
+ mvn test -DskipTests
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
[INFO] Scanning for projects...
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building test-projects 0.0.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ test-projects ---
[WARNING] Using platform encoding (UTF8 actually) to copy filtered resources, i.e. build is platform dependent!
[INFO] skip non existing resourceDirectory /builds/workspace/nopol/test-projects/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.2:compile (default-compile) @ test-projects ---
[INFO] Changes detected - recompiling the module!
[WARNING] File encoding has not been set, using platform encoding UTF8, i.e. build is platform dependent!
[INFO] Compiling 28 source files to /builds/workspace/nopol/test-projects/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ test-projects ---
[WARNING] Using platform encoding (UTF8 actually) to copy filtered resources, i.e. build is platform dependent!
[INFO] skip non existing resourceDirectory /builds/workspace/nopol/test-projects/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.2:testCompile (default-testCompile) @ test-projects ---
[INFO] Changes detected - recompiling the module!
[WARNING] File encoding has not been set, using platform encoding UTF8, i.e. build is platform dependent!
[INFO] Compiling 28 source files to /builds/workspace/nopol/test-projects/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ test-projects ---
[INFO] Tests are skipped.
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 2.137 s
[INFO] Finished at: 2018-02-24T10:40:43+01:00
[INFO] Final Memory: 15M/138M
[INFO] ------------------------------------------------------------------------
+ cd ../nopol
+ mvn versions:use-latest-versions -DallowSnapshots=true
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
[INFO] Scanning for projects...
[WARNING] 
[WARNING] Some problems were encountered while building the effective model for fr.inria.gforge.spirals:nopol:jar:0.2-SNAPSHOT
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-compiler-plugin @ line 355, column 25
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-install-plugin @ line 363, column 25
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-clean-plugin @ line 371, column 25
[WARNING] 'repositories.repository.id' must not contain any of these characters \/:"<>|?* but found / @ line 427, column 17
[WARNING] 
[WARNING] It is highly recommended to fix these problems because they threaten the stability of your build.
[WARNING] 
[WARNING] For this reason, future Maven versions might no longer support building such malformed projects.
[WARNING] 
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Nopol 0.2-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- versions-maven-plugin:2.4:use-latest-versions (default-cli) @ nopol ---
[INFO] Major version changes allowed
[INFO] artifact com.google.guava:guava: checking for updates from inria
[INFO] artifact com.google.guava:guava: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.google.guava:guava: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.google.guava:guava: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.google.guava:guava: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.google.guava:guava: checking for updates from central
[INFO] Updated com.google.guava:guava:jar:15.0 to version 24.0-jre
[INFO] artifact org.slf4j:slf4j-api: checking for updates from inria
[INFO] artifact org.slf4j:slf4j-api: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.slf4j:slf4j-api: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.slf4j:slf4j-api: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.slf4j:slf4j-api: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.slf4j:slf4j-api: checking for updates from central
[INFO] Updated org.slf4j:slf4j-api:jar:${slf4j.version} to version 1.8.0-beta1
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from inria
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.slf4j:jul-to-slf4j: checking for updates from central
[INFO] Updated org.slf4j:jul-to-slf4j:jar:${slf4j.version} to version 1.8.0-beta1
[INFO] Major version changes allowed
[INFO] artifact junit:junit: checking for updates from inria
[INFO] artifact junit:junit: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact junit:junit: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact junit:junit: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact junit:junit: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] Updated junit:junit:jar:4.11 to version 4.13-SNAPSHOT
[INFO] artifact org.reflections:reflections: checking for updates from inria
[INFO] artifact org.reflections:reflections: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.reflections:reflections: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.reflections:reflections: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.reflections:reflections: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.reflections:reflections: checking for updates from central
[INFO] Updated org.reflections:reflections:jar:0.9.9-RC1 to version 0.9.11
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from inria
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact ch.qos.logback:logback-classic: checking for updates from central
[INFO] Updated ch.qos.logback:logback-classic:jar:1.0.13 to version 1.3.0-alpha4
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from inria
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.google.code.findbugs:jsr305: checking for updates from central
[INFO] Updated com.google.code.findbugs:jsr305:jar:2.0.1 to version 3.0.2
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from inria
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.hamcrest:hamcrest-core: checking for updates from central
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from inria
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact gov.nasa.jpf:jpf: checking for updates from central
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from inria
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact gov.nasa.jpf:jpf-symbc: checking for updates from central
[INFO] artifact com.microsoft.z3:z3: checking for updates from inria
[INFO] artifact com.microsoft.z3:z3: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.microsoft.z3:z3: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.microsoft.z3:z3: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.microsoft.z3:z3: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.microsoft.z3:z3: checking for updates from central
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from inria
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact fr.inria.gforge.spoon:spoon-core: checking for updates from central
[INFO] Updated fr.inria.gforge.spoon:spoon-core:jar:6.0.0 to version 6.2.0-SNAPSHOT
[INFO] artifact org.smtlib:smtlib: checking for updates from inria
[INFO] artifact org.smtlib:smtlib: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.smtlib:smtlib: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.smtlib:smtlib: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.smtlib:smtlib: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.smtlib:smtlib: checking for updates from central
[INFO] artifact com.sun:tools: checking for updates from inria
[INFO] artifact com.sun:tools: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.sun:tools: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.sun:tools: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.sun:tools: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.sun:tools: checking for updates from central
[INFO] artifact sacha:infra: checking for updates from inria
[INFO] artifact sacha:infra: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact sacha:infra: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact sacha:infra: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact sacha:infra: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact sacha:infra: checking for updates from central
[INFO] artifact com.gzoltar:gzoltar: checking for updates from inria
[INFO] artifact com.gzoltar:gzoltar: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.gzoltar:gzoltar: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.gzoltar:gzoltar: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.gzoltar:gzoltar: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.gzoltar:gzoltar: checking for updates from central
[INFO] artifact commons-cli:commons-cli: checking for updates from inria
[INFO] artifact commons-cli:commons-cli: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact commons-cli:commons-cli: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact commons-cli:commons-cli: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact commons-cli:commons-cli: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] Updated commons-cli:commons-cli:jar:1.3 to version 1.4
[INFO] artifact fil.iagl.cocospoon:CocoSpoon: checking for updates from inria
[INFO] artifact fil.iagl.cocospoon:CocoSpoon: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact fil.iagl.cocospoon:CocoSpoon: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact fil.iagl.cocospoon:CocoSpoon: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact fil.iagl.cocospoon:CocoSpoon: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.cloudbees:diff4j: checking for updates from inria
[INFO] artifact com.cloudbees:diff4j: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact com.cloudbees:diff4j: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact com.cloudbees:diff4j: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact com.cloudbees:diff4j: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact com.cloudbees:diff4j: checking for updates from central
[INFO] artifact org.json:json: checking for updates from inria
[INFO] artifact org.json:json: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.json:json: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.json:json: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.json:json: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.json:json: checking for updates from central
[INFO] Updated org.json:json:jar:20160810 to version 20180130
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 8.559 s
[INFO] Finished at: 2018-02-24T10:40:53+01:00
[INFO] Final Memory: 21M/180M
[INFO] ------------------------------------------------------------------------
+ mvn package
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
[INFO] Scanning for projects...
[WARNING] 
[WARNING] Some problems were encountered while building the effective model for fr.inria.gforge.spirals:nopol:jar:0.2-SNAPSHOT
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-compiler-plugin @ line 355, column 25
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-install-plugin @ line 363, column 25
[WARNING] 'build.pluginManagement.plugins.plugin.(groupId:artifactId)' must be unique but found duplicate declaration of plugin org.apache.maven.plugins:maven-clean-plugin @ line 371, column 25
[WARNING] 'repositories.repository.id' must not contain any of these characters \/:"<>|?* but found / @ line 427, column 17
[WARNING] 
[WARNING] It is highly recommended to fix these problems because they threaten the stability of your build.
[WARNING] 
[WARNING] For this reason, future Maven versions might no longer support building such malformed projects.
[WARNING] 
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Nopol 0.2-SNAPSHOT
[INFO] ------------------------------------------------------------------------
Downloading: http://spoon.gforge.inria.fr/repositories/releases/junit/junit/4.13-SNAPSHOT/maven-metadata.xml
Downloading: http://maven-repo.gforge.inria.fr/releases/junit/junit/4.13-SNAPSHOT/maven-metadata.xml
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/junit/junit/4.13-SNAPSHOT/maven-metadata.xml
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/junit/junit/4.13-SNAPSHOT/maven-metadata.xml




Downloading: https://tdurieux.github.io/maven-repository/snapshots/junit/junit/4.13-SNAPSHOT/maven-metadata.xml

Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml
Downloading: http://spoon.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml

Downloading: https://tdurieux.github.io/maven-repository/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml


1017 B   
         
Downloaded: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/maven-metadata.xml (1017 B at 43.2 KB/sec)
         
Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.pom
         
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.pom
         
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.pom
2/19 KB   
6/19 KB   
10/19 KB   
14/19 KB   
18/19 KB   
19/19 KB   
           
Downloaded: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.pom (19 KB at 1846.1 KB/sec)
Downloading: http://maven-repo.gforge.inria.fr/releases/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml
           
Downloading: https://tdurieux.github.io/maven-repository/snapshots/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml
           
Downloading: http://spoon.gforge.inria.fr/repositories/releases/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml
           
           
1005 B     
         
Downloaded: https://tdurieux.github.io/maven-repository/snapshots/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml (1005 B at 2.3 KB/sec)
Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
         
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
         
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
         
Downloading: http://spoon.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
         
Downloading: https://tdurieux.github.io/maven-repository/snapshots/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
         
Downloading: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom
3/23 KB   
5/23 KB   
8/23 KB   
11/23 KB   
13/23 KB   
16/23 KB   
19/23 KB   
21/23 KB   
23/23 KB   
           
Downloaded: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-core/5.9.0/spoon-core-5.9.0.pom (23 KB at 605.1 KB/sec)
Downloading: http://maven-repo.gforge.inria.fr/releases/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
           
Downloading: https://tdurieux.github.io/maven-repository/snapshots/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
           
Downloading: https://oss.sonatype.org/content/groups/public/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
           
Downloading: http://spoon.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml
           
           
762/762 B   
            
Downloaded: https://oss.sonatype.org/content/groups/public/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml (762 B at 1.4 KB/sec)
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.jar
4/1318 KB   
8/1318 KB   
12/1318 KB   
16/1318 KB   
20/1318 KB   
24/1318 KB   
28/1318 KB   
32/1318 KB   
36/1318 KB   
40/1318 KB   
44/1318 KB   
48/1318 KB   
52/1318 KB   
56/1318 KB   
60/1318 KB   
64/1318 KB   
68/1318 KB   
72/1318 KB   
76/1318 KB   
80/1318 KB   
84/1318 KB   
88/1318 KB   
92/1318 KB   
96/1318 KB   
100/1318 KB   
104/1318 KB   
108/1318 KB   
112/1318 KB   
116/1318 KB   
120/1318 KB   
124/1318 KB   
128/1318 KB   
132/1318 KB   
136/1318 KB   
140/1318 KB   
144/1318 KB   
148/1318 KB   
152/1318 KB   
156/1318 KB   
160/1318 KB   
164/1318 KB   
168/1318 KB   
172/1318 KB   
176/1318 KB   
180/1318 KB   
184/1318 KB   
188/1318 KB   
192/1318 KB   
196/1318 KB   
200/1318 KB   
204/1318 KB   
208/1318 KB   
212/1318 KB   
216/1318 KB   
220/1318 KB   
224/1318 KB   
228/1318 KB   
232/1318 KB   
236/1318 KB   
240/1318 KB   
244/1318 KB   
248/1318 KB   
252/1318 KB   
256/1318 KB   
260/1318 KB   
264/1318 KB   
268/1318 KB   
272/1318 KB   
276/1318 KB   
280/1318 KB   
284/1318 KB   
288/1318 KB   
292/1318 KB   
296/1318 KB   
300/1318 KB   
304/1318 KB   
308/1318 KB   
312/1318 KB   
316/1318 KB   
320/1318 KB   
324/1318 KB   
328/1318 KB   
332/1318 KB   
336/1318 KB   
340/1318 KB   
344/1318 KB   
348/1318 KB   
352/1318 KB   
356/1318 KB   
360/1318 KB   
364/1318 KB   
368/1318 KB   
372/1318 KB   
376/1318 KB   
380/1318 KB   
384/1318 KB   
388/1318 KB   
392/1318 KB   
396/1318 KB   
400/1318 KB   
404/1318 KB   
408/1318 KB   
412/1318 KB   
416/1318 KB   
420/1318 KB   
424/1318 KB   
428/1318 KB   
432/1318 KB   
436/1318 KB   
440/1318 KB   
444/1318 KB   
448/1318 KB   
452/1318 KB   
456/1318 KB   
460/1318 KB   
464/1318 KB   
468/1318 KB   
472/1318 KB   
476/1318 KB   
480/1318 KB   
484/1318 KB   
488/1318 KB   
492/1318 KB   
496/1318 KB   
500/1318 KB   
504/1318 KB   
508/1318 KB   
512/1318 KB   
516/1318 KB   
520/1318 KB   
524/1318 KB   
528/1318 KB   
532/1318 KB   
536/1318 KB   
540/1318 KB   
544/1318 KB   
548/1318 KB   
552/1318 KB   
556/1318 KB   
560/1318 KB   
564/1318 KB   
568/1318 KB   
572/1318 KB   
576/1318 KB   
580/1318 KB   
584/1318 KB   
588/1318 KB   
592/1318 KB   
596/1318 KB   
600/1318 KB   
604/1318 KB   
608/1318 KB   
612/1318 KB   
616/1318 KB   
620/1318 KB   
624/1318 KB   
628/1318 KB   
632/1318 KB   
636/1318 KB   
640/1318 KB   
644/1318 KB   
648/1318 KB   
652/1318 KB   
656/1318 KB   
660/1318 KB   
664/1318 KB   
668/1318 KB   
672/1318 KB   
676/1318 KB   
680/1318 KB   
684/1318 KB   
688/1318 KB   
692/1318 KB   
696/1318 KB   
700/1318 KB   
704/1318 KB   
708/1318 KB   
712/1318 KB   
716/1318 KB   
720/1318 KB   
724/1318 KB   
728/1318 KB   
732/1318 KB   
736/1318 KB   
740/1318 KB   
744/1318 KB   
748/1318 KB   
752/1318 KB   
756/1318 KB   
760/1318 KB   
764/1318 KB   
768/1318 KB   
772/1318 KB   
776/1318 KB   
780/1318 KB   
784/1318 KB   
788/1318 KB   
792/1318 KB   
796/1318 KB   
800/1318 KB   
804/1318 KB   
808/1318 KB   
812/1318 KB   
816/1318 KB   
820/1318 KB   
824/1318 KB   
828/1318 KB   
832/1318 KB   
836/1318 KB   
840/1318 KB   
844/1318 KB   
848/1318 KB   
852/1318 KB   
856/1318 KB   
860/1318 KB   
864/1318 KB   
868/1318 KB   
872/1318 KB   
876/1318 KB   
880/1318 KB   
884/1318 KB   
888/1318 KB   
892/1318 KB   
896/1318 KB   
900/1318 KB   
904/1318 KB   
908/1318 KB   
912/1318 KB   
916/1318 KB   
920/1318 KB   
924/1318 KB   
928/1318 KB   
932/1318 KB   
936/1318 KB   
940/1318 KB   
944/1318 KB   
948/1318 KB   
952/1318 KB   
956/1318 KB   
960/1318 KB   
964/1318 KB   
968/1318 KB   
972/1318 KB   
976/1318 KB   
980/1318 KB   
984/1318 KB   
988/1318 KB   
992/1318 KB   
996/1318 KB   
1000/1318 KB   
1004/1318 KB   
1008/1318 KB   
1012/1318 KB   
1016/1318 KB   
1020/1318 KB   
1024/1318 KB   
1028/1318 KB   
1032/1318 KB   
1036/1318 KB   
1040/1318 KB   
1044/1318 KB   
1048/1318 KB   
1052/1318 KB   
1056/1318 KB   
1060/1318 KB   
1064/1318 KB   
1068/1318 KB   
1072/1318 KB   
1076/1318 KB   
1080/1318 KB   
1084/1318 KB   
1088/1318 KB   
1092/1318 KB   
1096/1318 KB   
1100/1318 KB   
1104/1318 KB   
1108/1318 KB   
1112/1318 KB   
1116/1318 KB   
1120/1318 KB   
1124/1318 KB   
1128/1318 KB   
1132/1318 KB   
1136/1318 KB   
1140/1318 KB   
1144/1318 KB   
1148/1318 KB   
1152/1318 KB   
1156/1318 KB   
1160/1318 KB   
1164/1318 KB   
1168/1318 KB   
1172/1318 KB   
1176/1318 KB   
1180/1318 KB   
1184/1318 KB   
1188/1318 KB   
1192/1318 KB   
1196/1318 KB   
1200/1318 KB   
1204/1318 KB   
1208/1318 KB   
1212/1318 KB   
1216/1318 KB   
1220/1318 KB   
1224/1318 KB   
1228/1318 KB   
1232/1318 KB   
1236/1318 KB   
1240/1318 KB   
1244/1318 KB   
1248/1318 KB   
1252/1318 KB   
1256/1318 KB   
1260/1318 KB   
1264/1318 KB   
1268/1318 KB   
1272/1318 KB   
1276/1318 KB   
1280/1318 KB   
1284/1318 KB   
1288/1318 KB   
1292/1318 KB   
1296/1318 KB   
1300/1318 KB   
1304/1318 KB   
1308/1318 KB   
1312/1318 KB   
1316/1318 KB   
1318/1318 KB   
               
Downloaded: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180223.235128-107.jar (1318 KB at 9548.9 KB/sec)
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.5.201505241946:prepare-agent (default) @ nopol ---
[INFO] argLine set to -javaagent:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar=destfile=/builds/workspace/nopol/nopol/target/jacoco.exec,excludes=com.sun.tools.jdi.**
[INFO] 
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ nopol ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 4 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ nopol ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 278 source files to /builds/workspace/nopol/nopol/target/classes
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[5,46] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[36,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[41,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[46,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[51,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[56,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[61,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[66,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[71,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[76,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[81,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/expression/value/Value.java:[86,23] sun.reflect.generics.reflectiveObjects.NotImplementedException is internal proprietary API and may be removed in a future release
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/commons/spoon/SpoonedFile.java: Some input files use or override a deprecated API.
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/commons/spoon/SpoonedFile.java: Recompile with -Xlint:deprecation for details.
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/commons/synthesis/smt/SMTLib.java: Some input files use unchecked or unsafe operations.
[WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/commons/synthesis/smt/SMTLib.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ nopol ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 19 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ nopol ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 47 source files to /builds/workspace/nopol/nopol/target/test-classes
[WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/repair/spoon/ConditionnalInstrumenterTest.java: Some input files use unchecked or unsafe operations.
[WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/repair/spoon/ConditionnalInstrumenterTest.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-surefire-plugin:2.14.1:test (default-test) @ nopol ---
[INFO] Surefire report directory: /builds/workspace/nopol/nopol/target/surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dfile.encoding=UTF8
Running xxl.java.support.RangeMapperTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.11 sec
Running xxl.java.junit.TestSuiteExecutionTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.155 sec
Running xxl.java.compiler.DynamicClassCompilerTest
Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.924 sec
Running xxl.java.library.ObjectLibraryTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Running xxl.java.library.JavaLibraryTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec
Running xxl.java.library.StringLibraryTest
Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.151 sec
Running xxl.java.library.NumberLibraryTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.019 sec
Running xxl.java.library.ClassLibraryTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec
Running xxl.container.classic.map.MultimapTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec
Running xxl.container.classic.map.DoubleMapTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec
Running xxl.container.classic.MetaSetTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec
Running xxl.container.classic.MetaListTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec
Running xxl.container.classic.MetaMapTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec
Running xxl.container.classic.MetaCollectionTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec
Running xxl.container.various.BagTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec
Running xxl.container.various.PairTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec
Running xxl.container.various.MappingBagTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec
Running xxl.container.various.TableTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec
Running fr.inria.lille.localization.DumbLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.076 sec
Running fr.inria.lille.localization.GzoltarLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.945 sec
Running fr.inria.lille.localization.OchiailocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.172 sec
Running fr.inria.lille.repair.symbolic.SymbolicTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec
Running fr.inria.lille.repair.infinitel.loop.implant.LoopStatisticsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec
Running fr.inria.lille.repair.infinitel.InfinitelTest
(a == 0)
(infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getSize()) != (infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getConsumed())
Tests run: 13, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 2.946 sec
Running fr.inria.lille.repair.synthesis.SynthesizerOnRealBugTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.005 sec
Running fr.inria.lille.repair.synthesis.DynamothCodeGenesisTest
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_12.NopolExampleTest#test_4 nopol_examples.nopol_example_12.NopolExampleTest#test_3 nopol_examples.nopol_example_12.NopolExampleTest#test_2 nopol_examples.nopol_example_12.NopolExampleTest#test_1 


========= Info ==========
Nb constants             7
Nb method invocations    3
Nb field access          0
Nb variables             3
Total                    13
Nb evaluated expressions 88678
Init Execution time      731 ms
Collect Execution time   214 ms
Combine Execution time   811.0 ms
Nb Combination par sec   109344 combinations/sec
Total Execution time     1757 ms
Nb line execution        4
Nb results               17

Results:
1. (list == null) || list.isEmpty()
2. (list == null) || (list.isEmpty() && list2.isEmpty())
3. (list == null) || (list2.isEmpty() && list.isEmpty())
4. (list == null) || (list.size() == 0)
5. (list == null) || (this.foo((java.util.List) list) == list.size())
6. (list == null) || (this.foo((java.util.List) list2) == list.size())
7. (list == null) || (list.size() == this.foo((java.util.List) list))
8. (list == null) || (list.size() == this.foo((java.util.List) list2))
9. (list == null) || (list.size() == list2.size())
10. (list == null) || (list.isEmpty() == list2.isEmpty())
11. (list == null) || (list2.size() == list.size())
12. (list == null) || (list2.isEmpty() == list.isEmpty())
13. (list == null) || (list.size() <= 0)
14. (list == null) || (list.size() <= this.foo((java.util.List) list))
15. (list == null) || (list.size() <= this.foo((java.util.List) list2))
16. (list == null) || (list.size() <= list2.size())
17. (list == null) || (list.size() < 1)


========================
         Stat
========================
Operators: 
PLUS 1
Methods: 
foo(java.util.List) 1
size() 1
isEmpty() 1
Variable: 
list2 1
x 1
list 1

 & 7 & 3 & 0 & 3 & 13 & 88678 & 1768 ms & 4 &
basic: 3, 0, 1, null, this, list, list2, this.foo((java.util.List) list), this.foo((java.util.List) list2), list.size(), list.isEmpty(), list2.size(), list2.isEmpty(), 
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_13.NopolExampleTest#test_3 nopol_examples.nopol_example_13.NopolExampleTest#test_2 nopol_examples.nopol_example_13.NopolExampleTest#test_1 


========= Info ==========
Nb constants             3
Nb method invocations    1
Nb field access          0
Nb variables             2
Total                    6
Nb evaluated expressions 259
Init Execution time      355 ms
Collect Execution time   69 ms
Combine Execution time   7.0 ms
Nb Combination par sec   37000 combinations/sec
Total Execution time     431 ms
Nb line execution        4
Nb results               1

Results:
1. (list == null) || list.isEmpty()


========================
         Stat
========================
Operators: 
Methods: 
isEmpty() 1
Variable: 
list 1

 & 3 & 1 & 0 & 2 & 6 & 259 & 432 ms & 4 &
basic: 0, 1, null, list, this, list.isEmpty(), 
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_1.NopolExampleTest#test4 nopol_examples.nopol_example_1.NopolExampleTest#test5 nopol_examples.nopol_example_1.NopolExampleTest#test2 nopol_examples.nopol_example_1.NopolExampleTest#test3 nopol_examples.nopol_example_1.NopolExampleTest#test9 nopol_examples.nopol_example_1.NopolExampleTest#test1 


========= Info ==========
Nb constants             5
Nb method invocations    1
Nb field access          0
Nb variables             3
Total                    9
Nb evaluated expressions 20
Init Execution time      422 ms
Collect Execution time   137 ms
Combine Execution time   1.0 ms
Nb Combination par sec   20000 combinations/sec
Total Execution time     560 ms
Nb line execution        6
Nb results               1

Results:
1. index <= 0


========================
         Stat
========================
Operators: 
LT 1
EQ 1
MINUS 1
Methods: 
charAt(int) 3
length() 2
Variable: 
s 5
index 3

 & 5 & 1 & 0 & 3 & 9 & 20 & 561 ms & 6 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_2.NopolExampleTest#test4 nopol_examples.nopol_example_2.NopolExampleTest#test5 nopol_examples.nopol_example_2.NopolExampleTest#test2 nopol_examples.nopol_example_2.NopolExampleTest#test3 nopol_examples.nopol_example_2.NopolExampleTest#test8 nopol_examples.nopol_example_2.NopolExampleTest#test9 nopol_examples.nopol_example_2.NopolExampleTest#test6 nopol_examples.nopol_example_2.NopolExampleTest#test7 nopol_examples.nopol_example_2.NopolExampleTest#test1 


========= Info ==========
Nb constants             4
Nb method invocations    0
Nb field access          0
Nb variables             3
Total                    7
Nb evaluated expressions 40
Init Execution time      427 ms
Collect Execution time   117 ms
Combine Execution time   1.0 ms
Nb Combination par sec   40000 combinations/sec
Total Execution time     545 ms
Nb line execution        9
Nb results               1

Results:
1. a < b


========================
         Stat
========================
Operators: 
LT 1
MINUS 1
Methods: 
Variable: 
a 2
b 2

 & 4 & 0 & 0 & 3 & 7 & 40 & 546 ms & 9 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_3.NopolExampleTest#test4 nopol_examples.nopol_example_3.NopolExampleTest#test5 nopol_examples.nopol_example_3.NopolExampleTest#test2 nopol_examples.nopol_example_3.NopolExampleTest#test3 nopol_examples.nopol_example_3.NopolExampleTest#test8 nopol_examples.nopol_example_3.NopolExampleTest#test9 nopol_examples.nopol_example_3.NopolExampleTest#test6 nopol_examples.nopol_example_3.NopolExampleTest#test7 nopol_examples.nopol_example_3.NopolExampleTest#test1 


========= Info ==========
Nb constants             3
Nb method invocations    0
Nb field access          0
Nb variables             3
Total                    6
Nb evaluated expressions 1
Init Execution time      447 ms
Collect Execution time   105 ms
Combine Execution time   1.0 ms
Nb Combination par sec   1000 combinations/sec
Total Execution time     553 ms
Nb line execution        9
Nb results               1

Results:
1. tmp == 0


========================
         Stat
========================
Operators: 
NE 1
MINUS 1
MOD 1
Methods: 
Variable: 
a 1
tmp 1

 & 3 & 0 & 0 & 3 & 6 & 1 & 554 ms & 9 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_4.NopolExampleTest#test4 nopol_examples.nopol_example_4.NopolExampleTest#test5 nopol_examples.nopol_example_4.NopolExampleTest#test2 nopol_examples.nopol_example_4.NopolExampleTest#test3 nopol_examples.nopol_example_4.NopolExampleTest#test8 nopol_examples.nopol_example_4.NopolExampleTest#test9 nopol_examples.nopol_example_4.NopolExampleTest#test11 nopol_examples.nopol_example_4.NopolExampleTest#test6 nopol_examples.nopol_example_4.NopolExampleTest#test10 nopol_examples.nopol_example_4.NopolExampleTest#test7 nopol_examples.nopol_example_4.NopolExampleTest#test1 


========= Info ==========
Nb constants             5
Nb method invocations    1
Nb field access          0
Nb variables             2
Total                    8
Nb evaluated expressions 11
Init Execution time      426 ms
Collect Execution time   147 ms
Combine Execution time   1.0 ms
Nb Combination par sec   11000 combinations/sec
Total Execution time     574 ms
Nb line execution        8
Nb results               1

Results:
1. a.length() != 1


========================
         Stat
========================
Operators: 
EQ 3
MOD 1
Methods: 
parseInt(java.lang.String) 1
length() 1
charAt(int) 1
substring(int) 1
Variable: 
a 5
otherInitializedVariableShouldBeCollected 1
result 1

 & 5 & 1 & 0 & 2 & 8 & 11 & 574 ms & 8 &
basic: 1, initializedVariableShouldBeCollected, otherInitializedVariableShouldBeCollected, 0, null, a, this, a.length(), 
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_5.NopolExampleTest#test4 nopol_examples.nopol_example_5.NopolExampleTest#test5 nopol_examples.nopol_example_5.NopolExampleTest#test2 nopol_examples.nopol_example_5.NopolExampleTest#test3 nopol_examples.nopol_example_5.NopolExampleTest#test6 nopol_examples.nopol_example_5.NopolExampleTest#test1 


========= Info ==========
Nb constants             5
Nb method invocations    0
Nb field access          0
Nb variables             2
Total                    7
Nb evaluated expressions 11
Init Execution time      396 ms
Collect Execution time   64 ms
Combine Execution time   2.0 ms
Nb Combination par sec   5500 combinations/sec
Total Execution time     462 ms
Nb line execution        6
Nb results               1

Results:
1. r <= a


========================
         Stat
========================
Operators: 
MUL 1
Methods: 
Variable: 
r 2
a 1

 & 5 & 0 & 0 & 2 & 7 & 11 & 462 ms & 6 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_6.NopolExampleTest#test4 nopol_examples.nopol_example_6.NopolExampleTest#test5 nopol_examples.nopol_example_6.NopolExampleTest#test2 nopol_examples.nopol_example_6.NopolExampleTest#test3 nopol_examples.nopol_example_6.NopolExampleTest#test6 nopol_examples.nopol_example_6.NopolExampleTest#test1 


========= Info ==========
Nb constants             3
Nb method invocations    0
Nb field access          0
Nb variables             3
Total                    6
Nb evaluated expressions 29
Init Execution time      301 ms
Collect Execution time   122 ms
Combine Execution time   1.0 ms
Nb Combination par sec   29000 combinations/sec
Total Execution time     424 ms
Nb line execution        6
Nb results               1

Results:
1. a < b


========================
         Stat
========================
Operators: 
MINUS 2
GT 1
Methods: 
Variable: 
a 3
b 3

 & 3 & 0 & 0 & 3 & 6 & 29 & 424 ms & 6 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter1385378241919997773.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_8.NopolExampleTest#test_4 nopol_examples.nopol_example_8.NopolExampleTest#test_3 nopol_examples.nopol_example_8.NopolExampleTest#test_2 nopol_examples.nopol_example_8.NopolExampleTest#test_1 nopol_examples.nopol_example_8.NopolExampleTest#test_11 nopol_examples.nopol_example_8.NopolExampleTest#test_9 nopol_examples.nopol_example_8.NopolExampleTest#test_10 nopol_examples.nopol_example_8.NopolExampleTest#test_8 nopol_examples.nopol_example_8.NopolExampleTest#test_7 nopol_examples.nopol_example_8.NopolExampleTest#test_6 nopol_examples.nopol_example_8.NopolExampleTest#test_5 


========= Info ==========
Nb constants             4
Nb method invocations    0
Nb field access          0
Nb variables             3
Total                    7
Nb evaluated expressions 26696
Init Execution time      311 ms
Collect Execution time   136 ms
Combine Execution time   199.0 ms
Nb Combination par sec   134151 combinations/sec
Total Execution time     647 ms
Nb line execution        10
Nb results               1

Results:
1. (a * b) <= 100


========================
         Stat
========================
Operators: 
LT 1
MUL 1
Methods: 
Variable: 
a 1
b 1

 & 4 & 0 & 0 & 3 & 7 & 26696 & 650 ms & 10 &
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.017 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.528 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Running fr.inria.lille.repair.nopol.NopolTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 33.53 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.16 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.019 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Running fr.inria.lille.commons.trace.ValuesCollectorTest
Collected variables [aBoolean, reachableVariable]
Expected variables [aBoolean, reachableVariable]
Getters: {}
Collected variables [index, word, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Expected variables [word, index, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Getters: {infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer=[getConsumed, getSize]}
Collected variables [nested.privateInstanceField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, nested, nested.protectedInstanceField, nested.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField]
Expected variables [comparable, nested, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested.publicInstanceField, nested.protectedInstanceField, nested.privateInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Expected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Getters: {}
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [11, (!(a < b)), 0, a, (a * b), b, -b, ((a * b) < 11), (a < b)]
Expected variables [0, 11, a, b, -b, (a * b), (a < b), (!(a < b)), ((a * b) < 11)]
Getters: {}
Collected variables [spoon.example.ClassToSpoon.privateStaticField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, comparable.privateNestedInstanceField, nested2, comparable.publicNestedInstanceField, nested2.privateInstanceField, nested2.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable]
Expected variables [comparable, nested2, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested2.privateInstanceField, nested2.publicInstanceField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [index, nopol_examples.nopol_example_1.NopolExample.s, s, nopol_examples.nopol_example_1.NopolExample.this.index]
Expected variables [s, index, nopol_examples.nopol_example_1.NopolExample.this.index, nopol_examples.nopol_example_1.NopolExample.s]
Getters: {}
Collected variables [a, b, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [b, a, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [a, tmp]
Expected variables [a, tmp]
Getters: {}
Collected variables [a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass, r]
Expected variables [r, a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass]
Getters: {}
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [stringParameter]
Expected variables [stringParameter]
Getters: {}
Tests run: 26, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 1.273 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.306 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.037 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec
Running fr.inria.lille.commons.synthesis.LocationVariableTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.commons.synthesis.OperatorTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec
Running fr.inria.lille.evo.TestPatchEvo
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < evo_examples.evo_example_1.EvoExample.this.value] basic
[] test_evo_example_generated_1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1] test_evo_example_generated_0
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.351 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.435 sec

Results :

Tests run: 331, Failures: 0, Errors: 0, Skipped: 11

[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.5.201505241946:report (report) @ nopol ---
[INFO] Analyzed bundle 'Nopol' with 329 classes
[INFO] 
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ nopol ---
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-assembly-plugin:2.4:single (create-my-bundle) @ nopol ---
Downloading: http://maven-repo.gforge.inria.fr/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
               
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
               
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
               
Downloading: http://spoon.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
               
Downloading: https://tdurieux.github.io/maven-repository/snapshots/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
               
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 01:24 min
[INFO] Finished at: 2018-02-24T10:42:20+01:00
[INFO] Final Memory: 36M/221M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS