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/jenkins4153932193678978729.sh
+ rm -rf /builds/.m2/repository/fr/inria/gforge/spoon
[nopol] $ /bin/sh -xe /tmp/jenkins7348071793318644155.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.049 s
[INFO] Finished at: 2018-02-28T10:40:14+01:00
[INFO] Final Memory: 15M/142M
[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.381 s
[INFO] Finished at: 2018-02-28T10:40:24+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 25.5 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-20180227.235204-115.pom
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180227.235204-115.pom
Downloading: http://spoon.gforge.inria.fr/repositories/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0-SNAPSHOT/spoon-core-6.2.0-20180227.235204-115.pom
4/19 KB
8/19 KB
12/19 KB
16/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-20180227.235204-115.pom (19 KB at 923.0 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.4 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 533.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 1.1 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-20180227.235204-115.jar
2/1326 KB
6/1326 KB
10/1326 KB
14/1326 KB
18/1326 KB
22/1326 KB
26/1326 KB
30/1326 KB
34/1326 KB
38/1326 KB
42/1326 KB
46/1326 KB
50/1326 KB
54/1326 KB
58/1326 KB
62/1326 KB
66/1326 KB
70/1326 KB
74/1326 KB
78/1326 KB
82/1326 KB
86/1326 KB
90/1326 KB
94/1326 KB
98/1326 KB
102/1326 KB
106/1326 KB
110/1326 KB
114/1326 KB
118/1326 KB
122/1326 KB
126/1326 KB
130/1326 KB
134/1326 KB
138/1326 KB
142/1326 KB
146/1326 KB
150/1326 KB
154/1326 KB
158/1326 KB
162/1326 KB
166/1326 KB
170/1326 KB
174/1326 KB
178/1326 KB
182/1326 KB
186/1326 KB
190/1326 KB
194/1326 KB
198/1326 KB
202/1326 KB
206/1326 KB
210/1326 KB
214/1326 KB
218/1326 KB
222/1326 KB
226/1326 KB
230/1326 KB
234/1326 KB
238/1326 KB
242/1326 KB
246/1326 KB
250/1326 KB
254/1326 KB
258/1326 KB
262/1326 KB
266/1326 KB
270/1326 KB
274/1326 KB
278/1326 KB
282/1326 KB
286/1326 KB
290/1326 KB
294/1326 KB
298/1326 KB
302/1326 KB
306/1326 KB
310/1326 KB
314/1326 KB
318/1326 KB
322/1326 KB
326/1326 KB
330/1326 KB
334/1326 KB
338/1326 KB
342/1326 KB
346/1326 KB
350/1326 KB
354/1326 KB
358/1326 KB
362/1326 KB
366/1326 KB
370/1326 KB
374/1326 KB
378/1326 KB
382/1326 KB
386/1326 KB
390/1326 KB
394/1326 KB
398/1326 KB
402/1326 KB
406/1326 KB
410/1326 KB
414/1326 KB
418/1326 KB
422/1326 KB
426/1326 KB
430/1326 KB
434/1326 KB
438/1326 KB
442/1326 KB
446/1326 KB
450/1326 KB
454/1326 KB
458/1326 KB
462/1326 KB
466/1326 KB
470/1326 KB
474/1326 KB
478/1326 KB
482/1326 KB
486/1326 KB
490/1326 KB
494/1326 KB
498/1326 KB
502/1326 KB
506/1326 KB
510/1326 KB
514/1326 KB
518/1326 KB
522/1326 KB
526/1326 KB
530/1326 KB
534/1326 KB
538/1326 KB
542/1326 KB
546/1326 KB
550/1326 KB
554/1326 KB
558/1326 KB
562/1326 KB
566/1326 KB
570/1326 KB
574/1326 KB
578/1326 KB
582/1326 KB
586/1326 KB
590/1326 KB
594/1326 KB
598/1326 KB
602/1326 KB
606/1326 KB
610/1326 KB
614/1326 KB
618/1326 KB
622/1326 KB
626/1326 KB
630/1326 KB
634/1326 KB
638/1326 KB
642/1326 KB
646/1326 KB
650/1326 KB
654/1326 KB
658/1326 KB
662/1326 KB
666/1326 KB
670/1326 KB
674/1326 KB
678/1326 KB
682/1326 KB
686/1326 KB
690/1326 KB
694/1326 KB
698/1326 KB
702/1326 KB
706/1326 KB
710/1326 KB
714/1326 KB
718/1326 KB
722/1326 KB
726/1326 KB
730/1326 KB
734/1326 KB
738/1326 KB
742/1326 KB
746/1326 KB
750/1326 KB
754/1326 KB
758/1326 KB
762/1326 KB
766/1326 KB
770/1326 KB
774/1326 KB
778/1326 KB
782/1326 KB
786/1326 KB
790/1326 KB
794/1326 KB
798/1326 KB
802/1326 KB
806/1326 KB
810/1326 KB
814/1326 KB
818/1326 KB
822/1326 KB
826/1326 KB
830/1326 KB
834/1326 KB
838/1326 KB
842/1326 KB
846/1326 KB
850/1326 KB
854/1326 KB
858/1326 KB
862/1326 KB
866/1326 KB
870/1326 KB
874/1326 KB
878/1326 KB
882/1326 KB
886/1326 KB
890/1326 KB
894/1326 KB
898/1326 KB
902/1326 KB
906/1326 KB
910/1326 KB
914/1326 KB
918/1326 KB
922/1326 KB
926/1326 KB
930/1326 KB
934/1326 KB
938/1326 KB
942/1326 KB
946/1326 KB
950/1326 KB
954/1326 KB
958/1326 KB
962/1326 KB
966/1326 KB
970/1326 KB
974/1326 KB
978/1326 KB
982/1326 KB
986/1326 KB
990/1326 KB
994/1326 KB
998/1326 KB
1002/1326 KB
1006/1326 KB
1010/1326 KB
1014/1326 KB
1018/1326 KB
1022/1326 KB
1026/1326 KB
1030/1326 KB
1034/1326 KB
1038/1326 KB
1042/1326 KB
1046/1326 KB
1050/1326 KB
1054/1326 KB
1058/1326 KB
1062/1326 KB
1066/1326 KB
1070/1326 KB
1074/1326 KB
1078/1326 KB
1082/1326 KB
1086/1326 KB
1090/1326 KB
1094/1326 KB
1098/1326 KB
1102/1326 KB
1106/1326 KB
1110/1326 KB
1114/1326 KB
1118/1326 KB
1122/1326 KB
1126/1326 KB
1130/1326 KB
1134/1326 KB
1138/1326 KB
1142/1326 KB
1146/1326 KB
1150/1326 KB
1154/1326 KB
1158/1326 KB
1162/1326 KB
1166/1326 KB
1170/1326 KB
1174/1326 KB
1178/1326 KB
1182/1326 KB
1186/1326 KB
1190/1326 KB
1194/1326 KB
1198/1326 KB
1202/1326 KB
1206/1326 KB
1210/1326 KB
1214/1326 KB
1218/1326 KB
1222/1326 KB
1226/1326 KB
1230/1326 KB
1234/1326 KB
1238/1326 KB
1242/1326 KB
1246/1326 KB
1250/1326 KB
1254/1326 KB
1258/1326 KB
1262/1326 KB
1266/1326 KB
1270/1326 KB
1274/1326 KB
1278/1326 KB
1282/1326 KB
1286/1326 KB
1290/1326 KB
1294/1326 KB
1298/1326 KB
1302/1326 KB
1306/1326 KB
1310/1326 KB
1314/1326 KB
1318/1326 KB
1322/1326 KB
1326/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-20180227.235204-115.jar (1326 KB at 15970.1 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.118 sec
Running xxl.java.junit.TestSuiteExecutionTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.197 sec
Running xxl.java.compiler.DynamicClassCompilerTest
Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.539 sec
Running xxl.java.library.ObjectLibraryTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec
Running xxl.java.library.JavaLibraryTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 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.013 sec
Running xxl.java.library.ClassLibraryTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec
Running xxl.container.classic.map.MultimapTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.013 sec
Running xxl.container.classic.map.DoubleMapTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec
Running xxl.container.classic.MetaSetTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec
Running xxl.container.classic.MetaListTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec
Running xxl.container.classic.MetaMapTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 sec
Running xxl.container.classic.MetaCollectionTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.013 sec
Running xxl.container.various.BagTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 sec
Running xxl.container.various.PairTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec
Running xxl.container.various.MappingBagTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec
Running xxl.container.various.TableTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec
Running fr.inria.lille.localization.DumbLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.225 sec
Running fr.inria.lille.localization.GzoltarLocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.885 sec
Running fr.inria.lille.localization.OchiailocalizerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.165 sec
Running fr.inria.lille.repair.symbolic.SymbolicTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.005 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.162 sec
Running fr.inria.lille.repair.synthesis.SynthesizerOnRealBugTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 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/surefirebooter6272717215718861009.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 728 ms
Collect Execution time 206 ms
Combine Execution time 1037.0 ms
Nb Combination par sec 85514 combinations/sec
Total Execution time 1972 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 & 1992 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/surefirebooter6272717215718861009.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 426 ms
Collect Execution time 92 ms
Combine Execution time 10.0 ms
Nb Combination par sec 25900 combinations/sec
Total Execution time 529 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/surefirebooter6272717215718861009.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 447 ms
Collect Execution time 124 ms
Combine Execution time 5.0 ms
Nb Combination par sec 4000 combinations/sec
Total Execution time 576 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 & 576 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/surefirebooter6272717215718861009.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 603 ms
Collect Execution time 123 ms
Combine Execution time 1.0 ms
Nb Combination par sec 40000 combinations/sec
Total Execution time 728 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 & 728 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/surefirebooter6272717215718861009.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 436 ms
Collect Execution time 121 ms
Combine Execution time 1.0 ms
Nb Combination par sec 1000 combinations/sec
Total Execution time 558 ms
Nb line execution 9
Nb results 1
Results:
1. tmp == 0
========================
Stat
========================
Operators:
MINUS 1
MOD 1
NE 1
Methods:
Variable:
a 1
tmp 1
& 3 & 0 & 0 & 3 & 6 & 1 & 558 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/surefirebooter6272717215718861009.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 428 ms
Collect Execution time 181 ms
Combine Execution time 2.0 ms
Nb Combination par sec 5500 combinations/sec
Total Execution time 611 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 & 611 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/surefirebooter6272717215718861009.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 393 ms
Collect Execution time 65 ms
Combine Execution time 1.0 ms
Nb Combination par sec 11000 combinations/sec
Total Execution time 460 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 & 460 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/surefirebooter6272717215718861009.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 358 ms
Collect Execution time 96 ms
Combine Execution time 5.0 ms
Nb Combination par sec 5800 combinations/sec
Total Execution time 459 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 & 459 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/surefirebooter6272717215718861009.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 419 ms
Collect Execution time 135 ms
Combine Execution time 201.0 ms
Nb Combination par sec 132816 combinations/sec
Total Execution time 755 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 & 756 ms & 10 &
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.686 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.584 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec
Running fr.inria.lille.repair.nopol.NopolTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 34.1 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.139 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.025 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 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.382 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.311 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.053 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec
Running fr.inria.lille.commons.synthesis.LocationVariableTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 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.484 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.388 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:26 min
[INFO] Finished at: 2018-02-28T10:41:52+01:00
[INFO] Final Memory: 37M/220M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS