Console 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 080e166f3abeee45c39bb00f208ccccde9e3a977 # timeout=10
[nopol] $ /bin/sh -xe /tmp/jenkins7488637319006300928.sh
+ rm -rf /builds/.m2/repository/fr/inria/gforge/spoon
[nopol] $ /bin/sh -xe /tmp/jenkins2848941173811902998.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.333 s
[INFO] Finished at: 2018-03-01T10:40:22+01:00
[INFO] Final Memory: 15M/117M
[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: 9.276 s
[INFO] Finished at: 2018-03-01T10:40:33+01:00
[INFO] Final Memory: 21M/181M
[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://sachaproject.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://spoon.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 28.4 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-20180228.235210-116.pom
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180228.235210-116.pom
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180228.235210-116.pom
3/19 KB
7/19 KB
11/19 KB
15/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-20180228.235210-116.pom (19 KB at 1538.4 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: http://spoon.gforge.inria.fr/repositories/releases/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
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.5 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 546.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: http://spoon.gforge.inria.fr/repositories/snapshots/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
Downloading: https://tdurieux.github.io/maven-repository/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
762/762 B
Downloaded: https://oss.sonatype.org/content/groups/public/com/sanityinc/jargs/2.0-SNAPSHOT/maven-metadata.xml (762 B at 0.2 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-20180228.235210-116.jar
4/1326 KB
8/1326 KB
12/1326 KB
16/1326 KB
20/1326 KB
24/1326 KB
28/1326 KB
32/1326 KB
36/1326 KB
40/1326 KB
44/1326 KB
48/1326 KB
52/1326 KB
56/1326 KB
60/1326 KB
64/1326 KB
68/1326 KB
72/1326 KB
76/1326 KB
80/1326 KB
84/1326 KB
88/1326 KB
92/1326 KB
96/1326 KB
100/1326 KB
104/1326 KB
108/1326 KB
112/1326 KB
116/1326 KB
120/1326 KB
124/1326 KB
128/1326 KB
132/1326 KB
136/1326 KB
140/1326 KB
144/1326 KB
148/1326 KB
152/1326 KB
156/1326 KB
160/1326 KB
164/1326 KB
168/1326 KB
172/1326 KB
176/1326 KB
180/1326 KB
184/1326 KB
188/1326 KB
192/1326 KB
196/1326 KB
200/1326 KB
204/1326 KB
208/1326 KB
212/1326 KB
216/1326 KB
220/1326 KB
224/1326 KB
228/1326 KB
232/1326 KB
236/1326 KB
240/1326 KB
244/1326 KB
248/1326 KB
252/1326 KB
256/1326 KB
260/1326 KB
264/1326 KB
268/1326 KB
272/1326 KB
276/1326 KB
280/1326 KB
284/1326 KB
288/1326 KB
292/1326 KB
296/1326 KB
300/1326 KB
304/1326 KB
308/1326 KB
312/1326 KB
316/1326 KB
320/1326 KB
324/1326 KB
328/1326 KB
332/1326 KB
336/1326 KB
340/1326 KB
344/1326 KB
348/1326 KB
352/1326 KB
356/1326 KB
360/1326 KB
364/1326 KB
368/1326 KB
372/1326 KB
376/1326 KB
380/1326 KB
384/1326 KB
388/1326 KB
392/1326 KB
396/1326 KB
400/1326 KB
404/1326 KB
408/1326 KB
412/1326 KB
416/1326 KB
420/1326 KB
424/1326 KB
428/1326 KB
432/1326 KB
436/1326 KB
440/1326 KB
444/1326 KB
448/1326 KB
452/1326 KB
456/1326 KB
460/1326 KB
464/1326 KB
468/1326 KB
472/1326 KB
476/1326 KB
480/1326 KB
484/1326 KB
488/1326 KB
492/1326 KB
496/1326 KB
500/1326 KB
504/1326 KB
508/1326 KB
512/1326 KB
516/1326 KB
520/1326 KB
524/1326 KB
528/1326 KB
532/1326 KB
536/1326 KB
540/1326 KB
544/1326 KB
548/1326 KB
552/1326 KB
556/1326 KB
560/1326 KB
564/1326 KB
568/1326 KB
572/1326 KB
576/1326 KB
580/1326 KB
584/1326 KB
588/1326 KB
592/1326 KB
596/1326 KB
600/1326 KB
604/1326 KB
608/1326 KB
612/1326 KB
616/1326 KB
620/1326 KB
624/1326 KB
628/1326 KB
632/1326 KB
636/1326 KB
640/1326 KB
644/1326 KB
648/1326 KB
652/1326 KB
656/1326 KB
660/1326 KB
664/1326 KB
668/1326 KB
672/1326 KB
676/1326 KB
680/1326 KB
684/1326 KB
688/1326 KB
692/1326 KB
696/1326 KB
700/1326 KB
704/1326 KB
708/1326 KB
712/1326 KB
716/1326 KB
720/1326 KB
724/1326 KB
728/1326 KB
732/1326 KB
736/1326 KB
740/1326 KB
744/1326 KB
748/1326 KB
752/1326 KB
756/1326 KB
760/1326 KB
764/1326 KB
768/1326 KB
772/1326 KB
776/1326 KB
780/1326 KB
784/1326 KB
788/1326 KB
792/1326 KB
796/1326 KB
800/1326 KB
804/1326 KB
808/1326 KB
812/1326 KB
816/1326 KB
820/1326 KB
824/1326 KB
828/1326 KB
832/1326 KB
836/1326 KB
840/1326 KB
844/1326 KB
848/1326 KB
852/1326 KB
856/1326 KB
860/1326 KB
864/1326 KB
868/1326 KB
872/1326 KB
876/1326 KB
880/1326 KB
884/1326 KB
888/1326 KB
892/1326 KB
896/1326 KB
900/1326 KB
904/1326 KB
908/1326 KB
912/1326 KB
916/1326 KB
920/1326 KB
924/1326 KB
928/1326 KB
932/1326 KB
936/1326 KB
940/1326 KB
944/1326 KB
948/1326 KB
952/1326 KB
956/1326 KB
960/1326 KB
964/1326 KB
968/1326 KB
972/1326 KB
976/1326 KB
980/1326 KB
984/1326 KB
988/1326 KB
992/1326 KB
996/1326 KB
1000/1326 KB
1004/1326 KB
1008/1326 KB
1012/1326 KB
1016/1326 KB
1020/1326 KB
1024/1326 KB
1028/1326 KB
1032/1326 KB
1036/1326 KB
1040/1326 KB
1044/1326 KB
1048/1326 KB
1052/1326 KB
1056/1326 KB
1060/1326 KB
1064/1326 KB
1068/1326 KB
1072/1326 KB
1076/1326 KB
1080/1326 KB
1084/1326 KB
1088/1326 KB
1092/1326 KB
1096/1326 KB
1100/1326 KB
1104/1326 KB
1108/1326 KB
1112/1326 KB
1116/1326 KB
1120/1326 KB
1124/1326 KB
1128/1326 KB
1132/1326 KB
1136/1326 KB
1140/1326 KB
1144/1326 KB
1148/1326 KB
1152/1326 KB
1156/1326 KB
1160/1326 KB
1164/1326 KB
1168/1326 KB
1172/1326 KB
1176/1326 KB
1180/1326 KB
1184/1326 KB
1188/1326 KB
1192/1326 KB
1196/1326 KB
1200/1326 KB
1204/1326 KB
1208/1326 KB
1212/1326 KB
1216/1326 KB
1220/1326 KB
1224/1326 KB
1228/1326 KB
1232/1326 KB
1236/1326 KB
1240/1326 KB
1244/1326 KB
1248/1326 KB
1252/1326 KB
1256/1326 KB
1260/1326 KB
1264/1326 KB
1268/1326 KB
1272/1326 KB
1276/1326 KB
1280/1326 KB
1284/1326 KB
1288/1326 KB
1292/1326 KB
1296/1326 KB
1300/1326 KB
1304/1326 KB
1308/1326 KB
1312/1326 KB
1316/1326 KB
1320/1326 KB
1324/1326 KB
1326/1326 KB
Downloaded: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180228.235210-116.jar (1326 KB at 14407.8 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.174 sec
Running xxl.java.junit.TestSuiteExecutionTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.184 sec
Running xxl.java.compiler.DynamicClassCompilerTest
Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.349 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.005 sec
Running xxl.java.library.StringLibraryTest
Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.043 sec
Running xxl.java.library.NumberLibraryTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec
Running xxl.java.library.ClassLibraryTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec
Running xxl.container.classic.map.MultimapTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec
Running xxl.container.classic.map.DoubleMapTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec
Running xxl.container.classic.MetaSetTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Running xxl.container.classic.MetaListTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec
Running xxl.container.classic.MetaMapTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec
Running xxl.container.classic.MetaCollectionTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec
Running xxl.container.various.BagTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.027 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 sec
Running xxl.container.various.TableTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec
Running fr.inria.lille.localization.DumbLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.634 sec
Running fr.inria.lille.localization.GzoltarLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.183 sec
Running fr.inria.lille.localization.OchiailocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.175 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 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: 3.316 sec
Running fr.inria.lille.repair.synthesis.SynthesizerOnRealBugTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.006 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/surefirebooter8083051075744251039.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 734 ms
Collect Execution time 221 ms
Combine Execution time 1053.0 ms
Nb Combination par sec 84215 combinations/sec
Total Execution time 2009 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 & 2027 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/surefirebooter8083051075744251039.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 446 ms
Collect Execution time 79 ms
Combine Execution time 3.0 ms
Nb Combination par sec 86333 combinations/sec
Total Execution time 528 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 & 529 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/surefirebooter8083051075744251039.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 429 ms
Collect Execution time 113 ms
Combine Execution time 8.0 ms
Nb Combination par sec 2500 combinations/sec
Total Execution time 550 ms
Nb line execution 6
Nb results 1
Results:
1. index <= 0
========================
Stat
========================
Operators:
EQ 1
MINUS 1
LT 1
Methods:
charAt(int) 3
length() 2
Variable:
s 5
index 3
& 5 & 1 & 0 & 3 & 9 & 20 & 551 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/surefirebooter8083051075744251039.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 510 ms
Collect Execution time 143 ms
Combine Execution time 1.0 ms
Nb Combination par sec 40000 combinations/sec
Total Execution time 654 ms
Nb line execution 9
Nb results 1
Results:
1. a < b
========================
Stat
========================
Operators:
MINUS 1
LT 1
Methods:
Variable:
a 2
b 2
& 4 & 0 & 0 & 3 & 7 & 40 & 655 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/surefirebooter8083051075744251039.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 374 ms
Collect Execution time 102 ms
Combine Execution time 1.0 ms
Nb Combination par sec 1000 combinations/sec
Total Execution time 477 ms
Nb line execution 9
Nb results 1
Results:
1. tmp == 0
========================
Stat
========================
Operators:
MINUS 1
NE 1
MOD 1
Methods:
Variable:
a 1
tmp 1
& 3 & 0 & 0 & 3 & 6 & 1 & 477 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/surefirebooter8083051075744251039.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 384 ms
Collect Execution time 174 ms
Combine Execution time 5.0 ms
Nb Combination par sec 2200 combinations/sec
Total Execution time 563 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 & 563 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/surefirebooter8083051075744251039.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 346 ms
Collect Execution time 81 ms
Combine Execution time 2.0 ms
Nb Combination par sec 5500 combinations/sec
Total Execution time 429 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 & 429 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/surefirebooter8083051075744251039.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 278 ms
Collect Execution time 102 ms
Combine Execution time 1.0 ms
Nb Combination par sec 29000 combinations/sec
Total Execution time 381 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 & 381 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/surefirebooter8083051075744251039.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 415 ms
Collect Execution time 127 ms
Combine Execution time 214.0 ms
Nb Combination par sec 124748 combinations/sec
Total Execution time 756 ms
Nb line execution 10
Nb results 1
Results:
1. (a * b) <= 100
========================
Stat
========================
Operators:
MUL 1
LT 1
Methods:
Variable:
a 1
b 1
& 4 & 0 & 0 & 3 & 7 & 26696 & 756 ms & 10 &
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.391 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.519 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec
Running fr.inria.lille.repair.nopol.NopolTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 34.071 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.201 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.027 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 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.438 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.319 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.062 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 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.261 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.445 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:27 min
[INFO] Finished at: 2018-03-01T10:42:03+01:00
[INFO] Final Memory: 36M/221M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS