Started by timer [EnvInject] - Loading node environment variables. Building remotely on sos-builder01 (lin) in workspace /builds/workspace/nopol [WS-CLEANUP] Deleting project workspace... [WS-CLEANUP] Deferred wipeout is used... [WS-CLEANUP] Done No credentials specified 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 f14a7b74185c38c9c06de44208899c1dfd046088 (refs/remotes/origin/master) > git config core.sparsecheckout # timeout=10 > git checkout -f f14a7b74185c38c9c06de44208899c1dfd046088 Commit message: "fix CI and security alert (#183)" > git rev-list --no-walk f14a7b74185c38c9c06de44208899c1dfd046088 # timeout=10 [nopol] $ /bin/sh -xe /tmp/jenkins6217657459127858765.sh + rm -rf /builds/.m2/repository/fr/inria/gforge/spoon [nopol] $ /bin/sh -xe /tmp/jenkins4803581318384317787.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.104 s [INFO] Finished at: 2019-03-10T10:38:33+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 27.1-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-beta4 [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-beta4 [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 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 spoon.gforge.inria.fr-release [INFO] artifact org.hamcrest:hamcrest-core: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] Updated org.hamcrest:hamcrest-core:jar:1.3 to version 2.1 [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:7.0.0 to version 7.4.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 spoon.gforge.inria.fr-release [INFO] artifact com.cloudbees:diff4j: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [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 spoon.gforge.inria.fr-release [INFO] artifact org.json:json: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] Updated org.json:json:jar:20160810 to version 20180813 [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 10.390 s [INFO] Finished at: 2019-03-10T10:38:45+01:00 [INFO] Final Memory: 21M/181M [INFO] ------------------------------------------------------------------------ + mvn -U dependency:resolve 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://maven-repo.gforge.inria.fr/releases/junit/junit/4.13-SNAPSHOT/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/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: http://spoon.gforge.inria.fr/repositories/releases/junit/junit/4.13-SNAPSHOT/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon 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/7.4.0-SNAPSHOT/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/maven-metadata.xml 1013/1013 B Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/maven-metadata.xml (1013 B at 21.5 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.pom Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.pom Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.pom [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon 4/7 KB 7/7 KB Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.pom (7 KB at 235.5 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom Downloading: https://tdurieux.github.io/maven-repository/snapshots/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom Downloading: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom 3/21 KB 5/21 KB 8/21 KB 11/21 KB 13/21 KB 16/21 KB 19/21 KB 21/21 KB Downloaded: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-pom/1.0/spoon-pom-1.0.pom (21 KB at 259.6 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml 492/492 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.resources/maven-metadata.xml (492 B at 18.5 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml 458/458 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.expressions/maven-metadata.xml (458 B at 15.4 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml 488/488 B Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.runtime/maven-metadata.xml (488 B at 18.3 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml 581/581 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.osgi/maven-metadata.xml (581 B at 21.8 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml 490/490 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.common/maven-metadata.xml (490 B at 17.7 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml 578/578 B Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.jobs/maven-metadata.xml (578 B at 17.1 KB/sec) Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml 489/489 B Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml (489 B at 20.8 KB/sec) Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.equinox.registry/maven-metadata.xml Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml 459/459 B Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.preferences/maven-metadata.xml (459 B at 17.9 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml 489/489 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.contenttype/maven-metadata.xml (489 B at 11.4 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml 449/449 B Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.equinox.app/maven-metadata.xml (449 B at 12.5 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml 455/455 B Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.filesystem/maven-metadata.xml (455 B at 18.5 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.text/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.text/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.text/maven-metadata.xml 471/471 B Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.text/maven-metadata.xml (471 B at 15.9 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloading: https://tdurieux.github.io/maven-repository/snapshots/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloading: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml 484/484 B Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloading: https://oss.sonatype.org/content/repositories/snapshots/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml Downloaded: https://repo.maven.apache.org/maven2/org/eclipse/platform/org.eclipse.core.commands/maven-metadata.xml (484 B at 18.2 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://maven.inria.fr/artifactory/spoon-public-snapshot/fil/iagl/cocospoon/CocoSpoon/1.0.0-SNAPSHOT/maven-metadata.xml [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon 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.3 KB/sec) Downloading: http://maven-repo.gforge.inria.fr/releases/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon Downloading: http://spoon.gforge.inria.fr/repositories/releases/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom Downloading: https://tdurieux.github.io/maven-repository/snapshots/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom Downloading: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom 3/20 KB 5/20 KB 8/20 KB 11/20 KB 13/20 KB 16/20 KB 19/20 KB 20/20 KB Downloaded: https://repo.maven.apache.org/maven2/fr/inria/gforge/spoon/spoon-core/6.2.0/spoon-core-6.2.0.pom (20 KB at 599.8 KB/sec) Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.jar [WARNING] Could not apply configuration for gforge.inria.fr-snapshot to wagon org.apache.maven.wagon.providers.http.HttpWagon:Cannot find 'preferredAuthentications' in class org.apache.maven.wagon.providers.http.HttpWagon 4/1656 KB 8/1656 KB 12/1656 KB 13/1656 KB 17/1656 KB 21/1656 KB 25/1656 KB 29/1656 KB 33/1656 KB 37/1656 KB 41/1656 KB 42/1656 KB 46/1656 KB 50/1656 KB 54/1656 KB 58/1656 KB 62/1656 KB 66/1656 KB 70/1656 KB 74/1656 KB 78/1656 KB 82/1656 KB 86/1656 KB 90/1656 KB 94/1656 KB 98/1656 KB 98/1656 KB 102/1656 KB 106/1656 KB 110/1656 KB 114/1656 KB 118/1656 KB 122/1656 KB 126/1656 KB 130/1656 KB 134/1656 KB 138/1656 KB 142/1656 KB 146/1656 KB 150/1656 KB 154/1656 KB 158/1656 KB 162/1656 KB 166/1656 KB 170/1656 KB 174/1656 KB 178/1656 KB 182/1656 KB 186/1656 KB 190/1656 KB 194/1656 KB 198/1656 KB 202/1656 KB 206/1656 KB 210/1656 KB 214/1656 KB 218/1656 KB 222/1656 KB 226/1656 KB 230/1656 KB 234/1656 KB 238/1656 KB 242/1656 KB 246/1656 KB 250/1656 KB 254/1656 KB 258/1656 KB 262/1656 KB 266/1656 KB 270/1656 KB 274/1656 KB 278/1656 KB 282/1656 KB 286/1656 KB 290/1656 KB 294/1656 KB 298/1656 KB 302/1656 KB 306/1656 KB 310/1656 KB 314/1656 KB 318/1656 KB 322/1656 KB 326/1656 KB 330/1656 KB 334/1656 KB 338/1656 KB 342/1656 KB 346/1656 KB 350/1656 KB 354/1656 KB 358/1656 KB 362/1656 KB 366/1656 KB 370/1656 KB 374/1656 KB 378/1656 KB 382/1656 KB 386/1656 KB 390/1656 KB 394/1656 KB 398/1656 KB 402/1656 KB 406/1656 KB 410/1656 KB 414/1656 KB 418/1656 KB 422/1656 KB 426/1656 KB 430/1656 KB 434/1656 KB 438/1656 KB 442/1656 KB 446/1656 KB 450/1656 KB 454/1656 KB 458/1656 KB 462/1656 KB 466/1656 KB 470/1656 KB 474/1656 KB 478/1656 KB 482/1656 KB 486/1656 KB 490/1656 KB 494/1656 KB 498/1656 KB 502/1656 KB 506/1656 KB 510/1656 KB 514/1656 KB 518/1656 KB 522/1656 KB 526/1656 KB 530/1656 KB 534/1656 KB 538/1656 KB 542/1656 KB 546/1656 KB 550/1656 KB 554/1656 KB 558/1656 KB 562/1656 KB 566/1656 KB 570/1656 KB 574/1656 KB 578/1656 KB 582/1656 KB 586/1656 KB 590/1656 KB 594/1656 KB 598/1656 KB 602/1656 KB 606/1656 KB 610/1656 KB 614/1656 KB 618/1656 KB 622/1656 KB 626/1656 KB 630/1656 KB 634/1656 KB 638/1656 KB 642/1656 KB 646/1656 KB 650/1656 KB 654/1656 KB 658/1656 KB 662/1656 KB 666/1656 KB 670/1656 KB 674/1656 KB 678/1656 KB 682/1656 KB 686/1656 KB 690/1656 KB 694/1656 KB 698/1656 KB 702/1656 KB 706/1656 KB 710/1656 KB 714/1656 KB 718/1656 KB 722/1656 KB 726/1656 KB 730/1656 KB 734/1656 KB 738/1656 KB 742/1656 KB 746/1656 KB 750/1656 KB 754/1656 KB 758/1656 KB 762/1656 KB 766/1656 KB 770/1656 KB 774/1656 KB 778/1656 KB 782/1656 KB 786/1656 KB 790/1656 KB 794/1656 KB 798/1656 KB 802/1656 KB 806/1656 KB 810/1656 KB 814/1656 KB 818/1656 KB 822/1656 KB 826/1656 KB 830/1656 KB 834/1656 KB 838/1656 KB 842/1656 KB 846/1656 KB 850/1656 KB 854/1656 KB 858/1656 KB 862/1656 KB 866/1656 KB 870/1656 KB 874/1656 KB 878/1656 KB 882/1656 KB 886/1656 KB 890/1656 KB 894/1656 KB 898/1656 KB 902/1656 KB 906/1656 KB 910/1656 KB 914/1656 KB 918/1656 KB 922/1656 KB 926/1656 KB 930/1656 KB 934/1656 KB 938/1656 KB 942/1656 KB 946/1656 KB 950/1656 KB 954/1656 KB 958/1656 KB 962/1656 KB 966/1656 KB 970/1656 KB 974/1656 KB 978/1656 KB 982/1656 KB 986/1656 KB 990/1656 KB 994/1656 KB 998/1656 KB 1002/1656 KB 1006/1656 KB 1010/1656 KB 1014/1656 KB 1018/1656 KB 1022/1656 KB 1026/1656 KB 1030/1656 KB 1034/1656 KB 1038/1656 KB 1042/1656 KB 1046/1656 KB 1050/1656 KB 1054/1656 KB 1058/1656 KB 1062/1656 KB 1066/1656 KB 1070/1656 KB 1074/1656 KB 1078/1656 KB 1082/1656 KB 1086/1656 KB 1090/1656 KB 1094/1656 KB 1098/1656 KB 1102/1656 KB 1106/1656 KB 1110/1656 KB 1114/1656 KB 1118/1656 KB 1122/1656 KB 1126/1656 KB 1130/1656 KB 1134/1656 KB 1138/1656 KB 1142/1656 KB 1146/1656 KB 1150/1656 KB 1154/1656 KB 1158/1656 KB 1162/1656 KB 1166/1656 KB 1170/1656 KB 1174/1656 KB 1178/1656 KB 1182/1656 KB 1186/1656 KB 1190/1656 KB 1194/1656 KB 1198/1656 KB 1202/1656 KB 1206/1656 KB 1210/1656 KB 1214/1656 KB 1218/1656 KB 1222/1656 KB 1226/1656 KB 1230/1656 KB 1234/1656 KB 1238/1656 KB 1242/1656 KB 1246/1656 KB 1250/1656 KB 1254/1656 KB 1258/1656 KB 1262/1656 KB 1266/1656 KB 1270/1656 KB 1274/1656 KB 1278/1656 KB 1282/1656 KB 1286/1656 KB 1290/1656 KB 1294/1656 KB 1298/1656 KB 1302/1656 KB 1306/1656 KB 1310/1656 KB 1314/1656 KB 1318/1656 KB 1322/1656 KB 1326/1656 KB 1330/1656 KB 1334/1656 KB 1338/1656 KB 1342/1656 KB 1346/1656 KB 1350/1656 KB 1354/1656 KB 1358/1656 KB 1362/1656 KB 1366/1656 KB 1370/1656 KB 1374/1656 KB 1378/1656 KB 1382/1656 KB 1386/1656 KB 1390/1656 KB 1394/1656 KB 1398/1656 KB 1402/1656 KB 1406/1656 KB 1410/1656 KB 1414/1656 KB 1418/1656 KB 1422/1656 KB 1426/1656 KB 1430/1656 KB 1434/1656 KB 1438/1656 KB 1442/1656 KB 1446/1656 KB 1450/1656 KB 1454/1656 KB 1458/1656 KB 1462/1656 KB 1466/1656 KB 1470/1656 KB 1474/1656 KB 1478/1656 KB 1482/1656 KB 1486/1656 KB 1490/1656 KB 1494/1656 KB 1498/1656 KB 1502/1656 KB 1506/1656 KB 1510/1656 KB 1514/1656 KB 1518/1656 KB 1522/1656 KB 1526/1656 KB 1530/1656 KB 1534/1656 KB 1538/1656 KB 1542/1656 KB 1546/1656 KB 1550/1656 KB 1554/1656 KB 1558/1656 KB 1562/1656 KB 1566/1656 KB 1570/1656 KB 1574/1656 KB 1578/1656 KB 1582/1656 KB 1586/1656 KB 1590/1656 KB 1594/1656 KB 1598/1656 KB 1602/1656 KB 1606/1656 KB 1610/1656 KB 1614/1656 KB 1618/1656 KB 1622/1656 KB 1626/1656 KB 1630/1656 KB 1634/1656 KB 1638/1656 KB 1642/1656 KB 1646/1656 KB 1650/1656 KB 1654/1656 KB 1656/1656 KB Downloaded: http://maven.inria.fr/artifactory/spoon-public-snapshot/fr/inria/gforge/spoon/spoon-core/7.4.0-SNAPSHOT/spoon-core-7.4.0-20190309.234146-41.jar (1656 KB at 4925.8 KB/sec) [INFO] [INFO] --- maven-dependency-plugin:2.8:resolve (default-cli) @ nopol --- [INFO] [INFO] The following files have been resolved: [INFO] gov.nasa.jpf:jpf:jar:1154:provided [INFO] org.eclipse.platform:org.eclipse.core.runtime:jar:3.15.100:compile [INFO] commons-cli:commons-cli:jar:1.4:compile [INFO] org.smtlib:smtlib:jar:0.9.7.1:compile [INFO] com.sun.mail:javax.mail:jar:1.6.0:runtime [INFO] com.martiansoftware:jsap:jar:2.1:compile [INFO] log4j:log4j:jar:1.2.17:compile [INFO] com.google.guava:listenablefuture:jar:9999.0-empty-to-avoid-conflict-with-guava:compile [INFO] org.eclipse.platform:org.eclipse.core.filesystem:jar:1.7.200:compile [INFO] com.microsoft.z3:z3:jar:0.0.1:compile [INFO] com.fasterxml.jackson.core:jackson-databind:jar:2.9.8:compile [INFO] gov.nasa.jpf:jpf-symbc:jar:576:provided [INFO] commons-io:commons-io:jar:2.6:compile [INFO] org.codehaus.mojo:animal-sniffer-annotations:jar:1.17:compile [INFO] org.json:json:jar:20180813:compile [INFO] org.javassist:javassist:jar:3.21.0-GA:compile [INFO] org.codehaus.plexus:plexus-component-annotations:jar:1.7.1:compile [INFO] org.eclipse.platform:org.eclipse.core.resources:jar:3.13.200:compile [INFO] org.eclipse.platform:org.eclipse.core.contenttype:jar:3.7.200:compile [INFO] com.google.guava:failureaccess:jar:1.0.1:compile [INFO] org.eclipse.platform:org.eclipse.equinox.app:jar:1.4.0:compile [INFO] org.jvnet.localizer:localizer:jar:1.12:compile [INFO] com.fasterxml.jackson.core:jackson-annotations:jar:2.9.0:compile [INFO] org.eclipse.platform:org.eclipse.text:jar:3.8.0:compile [INFO] org.codehaus.plexus:plexus-utils:jar:3.0.24:compile [INFO] org.eclipse.platform:org.eclipse.osgi:jar:3.13.200:compile [INFO] org.checkerframework:checker-qual:jar:2.5.2:compile [INFO] org.apache.maven:maven-model:jar:3.5.0:compile [INFO] org.eclipse.platform:org.eclipse.equinox.preferences:jar:3.7.200:compile [INFO] org.apache.maven.shared:maven-shared-utils:jar:3.2.1:compile [INFO] org.eclipse.jdt:org.eclipse.jdt.core:jar:3.15.0:compile [INFO] com.fasterxml.jackson.core:jackson-core:jar:2.9.8:compile [INFO] org.eclipse.platform:org.eclipse.core.jobs:jar:3.10.200:compile [INFO] org.easytesting:fest-assert:jar:1.4:compile [INFO] com.google.code.findbugs:jsr305:jar:3.0.2:compile [INFO] org.hamcrest:hamcrest-core:jar:2.1:compile [INFO] com.google.errorprone:error_prone_annotations:jar:2.2.0:compile [INFO] org.easytesting:fest-util:jar:1.1.6:compile [INFO] org.hamcrest:hamcrest:jar:2.1:compile [INFO] com.google.j2objc:j2objc-annotations:jar:1.1:compile [INFO] org.eclipse.platform:org.eclipse.core.commands:jar:3.9.200:compile [INFO] org.apache.commons:commons-compress:jar:1.18:compile [INFO] sacha:infra:jar:0.1:compile [INFO] org.eclipse.platform:org.eclipse.equinox.common:jar:3.10.200:compile [INFO] javax.activation:activation:jar:1.1:runtime [INFO] org.apache.maven.shared:maven-invoker:jar:3.0.1:compile [INFO] com.sun:tools:jar:1.4.2:system [INFO] fr.inria.gforge.spoon:spoon-core:jar:7.4.0-SNAPSHOT:compile [INFO] org.slf4j:slf4j-api:jar:1.8.0-beta4:compile [INFO] org.eclipse.platform:org.eclipse.equinox.registry:jar:3.8.200:compile [INFO] org.apache.commons:commons-lang3:jar:3.8.1:compile [INFO] fil.iagl.cocospoon:CocoSpoon:jar:1.0.0-SNAPSHOT:compile [INFO] com.gzoltar:gzoltar:jar:0.1.1:compile [INFO] junit:junit:jar:4.13-SNAPSHOT:compile [INFO] org.eclipse.platform:org.eclipse.core.expressions:jar:3.6.200:compile [INFO] ch.qos.logback:logback-classic:jar:1.3.0-alpha4:runtime [INFO] org.tukaani:xz:jar:1.8:compile [INFO] com.cloudbees:diff4j:jar:1.2:compile [INFO] org.reflections:reflections:jar:0.9.11:compile [INFO] ch.qos.logback:logback-core:jar:1.3.0-alpha4:runtime [INFO] com.google.guava:guava:jar:27.1-jre:compile [INFO] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 9.479 s [INFO] Finished at: 2019-03-10T10:38:56+01:00 [INFO] Final Memory: 19M/154M [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] ------------------------------------------------------------------------ [INFO] [INFO] --- jacoco-maven-plugin:0.8.3:prepare-agent (default) @ nopol --- [INFO] argLine set to -javaagent:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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/repair/nopol/spoon/symbolic/AssertReplacer.java: Some input files use or override a deprecated API. [WARNING] /builds/workspace/nopol/nopol/src/main/java/fr/inria/lille/repair/nopol/spoon/symbolic/AssertReplacer.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 50 source files to /builds/workspace/nopol/nopol/target/test-classes [WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/repair/nopol/Defects4jUtils.java: Some input files use or override a deprecated API. [WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/repair/nopol/Defects4jUtils.java: Recompile with -Xlint:deprecation for details. [WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/commons/trace/ValuesCollectorTest.java: Some input files use unchecked or unsafe operations. [WARNING] /builds/workspace/nopol/nopol/src/test/java/fr/inria/lille/commons/trace/ValuesCollectorTest.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.166 sec Running xxl.java.junit.TestSuiteExecutionTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.123 sec Running xxl.java.compiler.DynamicClassCompilerTest 05:39:10.497 [main] ERROR x.java.compiler.DynamicClassCompiler - [Compilation errors] Mathematician.java:1: error: cannot find symbol package test.dynamic.math;import test.dynamic.math.Calculator;public class Mathematician { private Calculator calculator; public Mathematician(Calculator calculator) { this.calculator = calculator; } public int sum(int a, int b) { return calculator.sum(a, b); } public int multiply(int a, int b) { return calculator.multiply(a, b); }} ^ symbol: method multiply(int,int) location: variable calculator of type test.dynamic.math.Calculator Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.151 sec Running xxl.java.library.ObjectLibraryTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 sec Running xxl.java.library.JavaLibraryTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec Running xxl.java.library.StringLibraryTest Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec Running xxl.java.library.NumberLibraryTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec Running xxl.java.library.ClassLibraryTest Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec Running xxl.container.classic.map.MultimapTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 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.004 sec Running xxl.container.classic.MetaListTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec Running xxl.container.classic.MetaMapTest Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec Running xxl.container.classic.MetaCollectionTest Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec Running xxl.container.various.BagTest Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.009 sec Running xxl.container.various.PairTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec Running xxl.container.various.MappingBagTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec Running xxl.container.various.TableTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec Running fr.inria.lille.localization.DumbLocalizerTest 05:39:11.742 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3] 05:39:11.742 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:11.743 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:11.743 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest] 05:39:11.745 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_3], projectClasspath='[Ljava.net.URL;@2acacdf', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:11.745 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:11.764 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 131 MB 05:39:11.768 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:11.768 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 225 MB 05:39:11.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:11.771 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:11.771 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:14.129 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:14.129 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:32 which is executed by 18 tests -126608641 05:39:14.198 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:14.608 [pool-10-thread-1] DEBUG tests.output - Failing tests with false: [test5(nopol_examples.nopol_example_3.NopolExampleTest): null, test4(nopol_examples.nopol_example_3.NopolExampleTest): null, test3(nopol_examples.nopol_example_3.NopolExampleTest): null, test2(nopol_examples.nopol_example_3.NopolExampleTest): null, test1(nopol_examples.nopol_example_3.NopolExampleTest): null, test9(nopol_examples.nopol_example_3.NopolExampleTest): null, test8(nopol_examples.nopol_example_3.NopolExampleTest): null, test7(nopol_examples.nopol_example_3.NopolExampleTest): null, test6(nopol_examples.nopol_example_3.NopolExampleTest): null] 05:39:14.609 [pool-10-thread-1] DEBUG tests.output - Failing tests with true: [test5(nopol_examples.nopol_example_3.NopolExampleTest): null, test4(nopol_examples.nopol_example_3.NopolExampleTest): null, test3(nopol_examples.nopol_example_3.NopolExampleTest): null, test2(nopol_examples.nopol_example_3.NopolExampleTest): null, test1(nopol_examples.nopol_example_3.NopolExampleTest): null, test9(nopol_examples.nopol_example_3.NopolExampleTest): null, test8(nopol_examples.nopol_example_3.NopolExampleTest): null, test7(nopol_examples.nopol_example_3.NopolExampleTest): null, test6(nopol_examples.nopol_example_3.NopolExampleTest): null] 05:39:14.609 [pool-10-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_3.NopolExample:32. 05:39:14.611 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:14.611 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 18 tests -126608641 05:39:14.688 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:15.251 [pool-30-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:15.304 [pool-30-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:15.392 [pool-30-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp 05:39:15.393 [pool-30-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp 05:39:15.481 [pool-30-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working 05:39:15.521 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:15.525 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:15.526 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3 05:39:15.527 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 2 05:39:15.527 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 1 05:39:15.528 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9 05:39:15.529 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:15.530 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:15.531 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:15.531 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12 05:39:15.532 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 3780ms 05:39:15.533 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:15.534 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:15.534 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp 05:39:15.579 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 18 05:39:15.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 05:39:15.592 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java @@ -10,3 +10,3 @@ - if ( tmp != 0 ){ // Fix : tmp == 0 + if ( 0 == tmp){ // Fix : tmp == 0 return true; 05:39:15.690 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2] 05:39:15.691 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:15.691 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:15.692 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest] 05:39:15.693 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@75096f32', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:15.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:15.695 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 178 MB 05:39:15.696 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:15.697 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 225 MB 05:39:15.697 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:15.697 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:15.699 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:15.820 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:15.821 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:21 which is executed by 18 tests -126608641 05:39:15.891 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:16.080 [pool-104-thread-1] DEBUG tests.output - Failing tests with false: [test7(nopol_examples.nopol_example_2.NopolExampleTest): expected:<-2> but was:<-4>, test9(nopol_examples.nopol_example_2.NopolExampleTest): expected:<2> but was:<-8>, test4(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<-2>, test5(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<-2>, test6(nopol_examples.nopol_example_2.NopolExampleTest): expected:<-2> but was:<-4>, test1(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<2>, test2(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<2>] 05:39:16.080 [pool-104-thread-1] DEBUG tests.output - Failing tests with true: [test7(nopol_examples.nopol_example_2.NopolExampleTest): expected:<-2> but was:<-4>, test9(nopol_examples.nopol_example_2.NopolExampleTest): expected:<2> but was:<-8>, test4(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<-2>, test5(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<-2>, test6(nopol_examples.nopol_example_2.NopolExampleTest): expected:<-2> but was:<-4>, test1(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<2>, test2(nopol_examples.nopol_example_2.NopolExampleTest): expected:<4> but was:<2>] 05:39:16.080 [pool-104-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_2.NopolExample:21. 05:39:16.080 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:16.080 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 18 tests -126608641 05:39:16.135 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:16.378 [pool-120-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:16.424 [pool-120-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:16.497 [pool-120-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a) 05:39:16.497 [pool-120-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a) 05:39:16.630 [pool-120-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working 05:39:16.642 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:16.643 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:16.643 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2 05:39:16.644 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 4 05:39:16.644 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 2 05:39:16.645 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:16.645 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:16.645 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:16.646 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:16.647 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14 05:39:16.647 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 952ms 05:39:16.648 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:16.648 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:16.649 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a) 05:39:16.715 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 18 05:39:16.715 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 05:39:16.720 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java @@ -10,3 +10,3 @@ public int getMax(int a, int b){ - if ( (b - a) < 0 ){ // Fix a < b + if ( 1 < (b - a)){ // Fix a < b return b; Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.997 sec Running fr.inria.lille.localization.GzoltarLocalizerTest {SourceLocation nopol_examples.nopol_example_1.NopolExample:13=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExample:12=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExampleTest:13=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExampleTest:12=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExampleTest:11=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS]} Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.708 sec Running fr.inria.lille.localization.CocospoonLocalizerTest {SourceLocation nopol_examples.nopol_example_1.NopolExample:13=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExample:22=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExample:23=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExample:24=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS], SourceLocation nopol_examples.nopol_example_1.NopolExample:12=[nopol_examples.nopol_example_1.NopolExampleTest#test1 PASS]} Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.279 sec Running fr.inria.lille.repair.symbolic.SymbolicTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec Running fr.inria.lille.repair.infinitel.loop.implant.LoopStatisticsTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec Running fr.inria.lille.repair.infinitel.InfinitelTest 05:39:22.121 [main] DEBUG f.i.l.r.infinitel.InfiniteLoopFixer - Angelic records for hanging tests: infinitel_examples.infinitel_example_2.InfinitelExampleTest#infiniteLoop=1 05:39:22.122 [main] DEBUG f.i.l.r.infinitel.InfiniteLoopFixer - Tests of infinite loop: infinitel_examples.infinitel_example_2.InfinitelExampleTest#oneIteration infinitel_examples.infinitel_example_2.InfinitelExampleTest#infiniteLoop 05:39:22.125 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:22.154 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a == 0) (a == 0) 05:39:22.811 [main] DEBUG f.i.l.r.infinitel.InfiniteLoopFixer - Angelic records for hanging tests: infinitel_examples.infinitel_example_5.InfinitelExampleTest#infiniteLoop=37 05:39:22.811 [main] DEBUG f.i.l.r.infinitel.InfiniteLoopFixer - Tests of infinite loop: infinitel_examples.infinitel_example_5.InfinitelExampleTest#consumePartially infinitel_examples.infinitel_example_5.InfinitelExampleTest#consumedEverything infinitel_examples.infinitel_example_5.InfinitelExampleTest#infiniteLoop 05:39:22.835 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:22.889 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:23.063 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getSize()) != (infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getConsumed()) (infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getSize()) != (infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer.getConsumed()) Tests run: 13, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 2.583 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:23.802 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:23.914 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.util.List 05:39:23.939 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.util.ArrayList 05:39:23.944 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] nopol_examples.nopol_example_12.NopolExample 05:39:23.957 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:23.963 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_12.NopolExampleTest#test_4 iteration 0 05:39:23.969 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 3=3 05:39:23.972 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:23.974 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_12.NopolExample(id=329) 05:39:23.977 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:23.978 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2 05:39:24.035 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list) 05:39:24.041 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list2) 05:39:24.047 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.size() 05:39:24.050 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:24.062 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.size() 05:39:24.065 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.isEmpty() 05:39:24.116 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:24.118 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_12.NopolExampleTest#test_3 iteration 0 05:39:24.118 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 3=3 05:39:24.119 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:24.119 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_12.NopolExample(id=531) 05:39:24.120 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:24.120 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2 05:39:24.129 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list2) 05:39:24.134 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.size() 05:39:24.136 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.isEmpty() 05:39:24.145 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:24.146 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_12.NopolExampleTest#test_2 iteration 0 05:39:24.147 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 3=3 05:39:24.147 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:24.147 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_12.NopolExample(id=548) 05:39:24.148 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:24.149 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2 05:39:24.165 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list) 05:39:24.178 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list2) 05:39:24.183 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.size() 05:39:24.186 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:24.192 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.size() 05:39:24.195 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.isEmpty() 05:39:24.199 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:24.201 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_12.NopolExampleTest#test_1 iteration 0 05:39:24.201 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 3=3 05:39:24.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:24.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_12.NopolExample(id=556) 05:39:24.202 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:24.203 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2 05:39:24.217 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list) 05:39:24.220 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.foo((java.util.List) list2) 05:39:24.228 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.size() 05:39:24.231 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:24.240 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.size() 05:39:24.246 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list2.isEmpty() 05:39:24.248 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:24.255 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 13 elements 05:39:25.062 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 172365 evaluated elements ========= Info ========== Nb constants 7 Nb method invocations 3 Nb field access 0 Nb variables 3 Total 13 Nb evaluated expressions 88678 Init Execution time 650 ms Collect Execution time 292 ms Combine Execution time 820.0 ms Nb Combination par sec 108144 combinations/sec Total Execution time 1763 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 & 1773 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:25.287 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:25.345 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.util.List 05:39:25.350 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.352 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_13.NopolExampleTest#test_3 iteration 0 05:39:25.353 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] list=instance of java.util.ArrayList(id=331) 05:39:25.353 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.353 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_13.NopolExample(id=329) 05:39:25.354 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:25.363 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:25.397 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.398 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_13.NopolExampleTest#test_2 iteration 0 05:39:25.399 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] list=instance of java.util.ArrayList(id=430) 05:39:25.399 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.399 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_13.NopolExample(id=428) 05:39:25.400 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:25.407 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:25.411 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.412 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_13.NopolExampleTest#test_1 iteration 0 05:39:25.413 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] list=instance of java.util.Collections$EmptyList(id=434) 05:39:25.414 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.415 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_13.NopolExample(id=432) 05:39:25.415 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:25.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list.isEmpty() 05:39:25.428 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.429 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_13.NopolExampleTest#test_1 iteration 1 05:39:25.429 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] list=null 05:39:25.430 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.431 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_13.NopolExample(id=436) 05:39:25.431 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] list 05:39:25.437 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:25.442 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 6 elements 05:39:25.448 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 524 evaluated elements ========= Info ========== Nb constants 3 Nb method invocations 1 Nb field access 0 Nb variables 2 Total 6 Nb evaluated expressions 259 Init Execution time 264 ms Collect Execution time 88 ms Combine Execution time 12.0 ms Nb Combination par sec 21583 combinations/sec Total Execution time 364 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 & 374 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:25.680 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:25.749 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.lang.String 05:39:25.754 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.756 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test4 iteration 0 05:39:25.757 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=12 05:39:25.757 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.757 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.757 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=320) 05:39:25.759 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.760 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.766 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.767 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.770 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.809 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.810 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test5 iteration 0 05:39:25.811 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=-5 05:39:25.811 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.811 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.812 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=432) 05:39:25.812 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.812 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.815 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.816 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.834 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.835 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test2 iteration 0 05:39:25.836 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=3 05:39:25.836 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=447) 05:39:25.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.838 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.841 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.841 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.844 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.852 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.854 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test3 iteration 0 05:39:25.854 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=3 05:39:25.854 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.854 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.854 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=450) 05:39:25.854 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.855 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.858 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.858 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.861 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.868 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.870 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test9 iteration 0 05:39:25.870 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=5 05:39:25.870 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.870 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.871 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=453) 05:39:25.872 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.873 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.876 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.876 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.879 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.888 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:25.889 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_1.NopolExampleTest#test1 iteration 0 05:39:25.890 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] index=0 05:39:25.890 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:25.890 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:25.890 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_1.NopolExample(id=457) 05:39:25.890 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s 05:39:25.890 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] index 05:39:25.893 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.s 05:39:25.894 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.index 05:39:25.898 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] s.length() 05:39:25.901 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:25.902 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 9 elements 05:39:25.903 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 47 evaluated elements ========= Info ========== Nb constants 5 Nb method invocations 1 Nb field access 0 Nb variables 3 Total 9 Nb evaluated expressions 20 Init Execution time 289 ms Collect Execution time 148 ms Combine Execution time 3.0 ms Nb Combination par sec 6667 combinations/sec Total Execution time 440 ms Nb line execution 6 Nb results 1 Results: 1. index <= 0 ======================== Stat ======================== Operators: LT 1 MINUS 1 EQ 1 Methods: charAt(int) 3 length() 2 Variable: s 5 index 3 & 5 & 1 & 0 & 3 & 9 & 20 & 441 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:26.175 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:26.244 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.247 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test4 iteration 0 05:39:26.249 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-2 05:39:26.251 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4 05:39:26.252 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.257 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.258 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=329) 05:39:26.259 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.260 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.263 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.316 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.320 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test5 iteration 0 05:39:26.320 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4 05:39:26.321 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=-2 05:39:26.321 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.322 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.322 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=428) 05:39:26.322 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.322 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.323 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.340 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.342 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test2 iteration 0 05:39:26.343 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=2 05:39:26.345 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4 05:39:26.345 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.345 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.345 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=431) 05:39:26.346 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.346 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.348 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.356 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.357 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test3 iteration 0 05:39:26.357 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4 05:39:26.359 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4 05:39:26.359 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.359 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.359 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=434) 05:39:26.360 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.361 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.362 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.366 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.367 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test8 iteration 0 05:39:26.368 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-2 05:39:26.368 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=-2 05:39:26.369 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.369 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.369 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=437) 05:39:26.370 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.371 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.371 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.376 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.377 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test9 iteration 0 05:39:26.378 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-8 05:39:26.379 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2 05:39:26.379 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.379 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.379 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=440) 05:39:26.382 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.382 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.384 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.398 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.400 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test6 iteration 0 05:39:26.400 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-4 05:39:26.403 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=-2 05:39:26.403 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.403 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.403 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=443) 05:39:26.403 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.403 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.404 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.413 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.415 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test7 iteration 0 05:39:26.415 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-2 05:39:26.416 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=-4 05:39:26.416 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.417 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.417 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=446) 05:39:26.418 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.418 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.419 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.425 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.426 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_2.NopolExampleTest#test1 iteration 0 05:39:26.428 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4 05:39:26.429 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2 05:39:26.429 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.429 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.430 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_2.NopolExample(id=449) 05:39:26.430 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.432 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:26.433 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.fieldOfOuterClass 05:39:26.436 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:26.438 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements 05:39:26.438 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 87 evaluated elements ========= Info ========== Nb constants 4 Nb method invocations 0 Nb field access 0 Nb variables 3 Total 7 Nb evaluated expressions 40 Init Execution time 336 ms Collect Execution time 194 ms Combine Execution time 2.0 ms Nb Combination par sec 20000 combinations/sec Total Execution time 532 ms Nb line execution 9 Nb results 1 Results: 1. a < b ======================== Stat ======================== Operators: LT 1 MINUS 1 Methods: Variable: a 2 b 2 & 4 & 0 & 0 & 3 & 7 & 40 & 533 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:26.693 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:26.750 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.752 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test4 iteration 0 05:39:26.754 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=1 05:39:26.755 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.755 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.756 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=329) 05:39:26.757 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.758 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.800 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.802 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test5 iteration 0 05:39:26.803 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=-1 05:39:26.803 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.804 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.806 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=428) 05:39:26.806 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.807 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.814 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.817 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test2 iteration 0 05:39:26.818 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=0 05:39:26.818 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.819 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=431) 05:39:26.820 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.820 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.827 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.829 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test3 iteration 0 05:39:26.829 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=0 05:39:26.829 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.829 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.829 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=434) 05:39:26.832 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.833 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.842 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.844 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test8 iteration 0 05:39:26.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=1 05:39:26.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.845 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.845 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=437) 05:39:26.846 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.851 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.864 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.865 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test9 iteration 0 05:39:26.867 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=-1 05:39:26.867 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.867 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.867 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=440) 05:39:26.869 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.869 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.881 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.883 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test6 iteration 0 05:39:26.884 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=0 05:39:26.884 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.884 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.884 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=443) 05:39:26.885 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.885 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.897 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.898 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test7 iteration 0 05:39:26.899 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=1 05:39:26.899 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.900 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.901 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=446) 05:39:26.902 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.903 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.907 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:26.909 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_3.NopolExampleTest#test1 iteration 0 05:39:26.911 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] tmp=0 05:39:26.911 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 0=0 05:39:26.911 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:26.911 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_3.NopolExample(id=449) 05:39:26.912 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:26.913 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] tmp 05:39:26.919 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:26.921 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 6 elements 05:39:26.925 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 7 evaluated elements ========= Info ========== Nb constants 3 Nb method invocations 0 Nb field access 0 Nb variables 3 Total 6 Nb evaluated expressions 1 Init Execution time 309 ms Collect Execution time 171 ms Combine Execution time 6.0 ms Nb Combination par sec 167 combinations/sec Total Execution time 486 ms Nb line execution 9 Nb results 1 Results: 1. tmp == 0 ======================== Stat ======================== Operators: MOD 1 MINUS 1 NE 1 Methods: Variable: a 1 tmp 1 & 3 & 0 & 0 & 3 & 6 & 1 & 486 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:27.122 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:27.197 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.lang.String 05:39:27.203 [main] DEBUG f.i.l.r.s.c.spoon.ClassCollector - [class] java.lang.Integer 05:39:27.214 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.217 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test4 iteration 0 05:39:27.218 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="333" 05:39:27.219 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="333" 05:39:27.220 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.220 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.220 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=329) 05:39:27.221 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.222 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.223 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.236 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.297 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.299 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test5 iteration 0 05:39:27.301 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="8142" 05:39:27.302 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="8142" 05:39:27.302 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.302 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.302 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=425) 05:39:27.306 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.307 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.308 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.316 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.332 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.334 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test3 iteration 0 05:39:27.336 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="33" 05:39:27.337 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="33" 05:39:27.337 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.337 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.337 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=439) 05:39:27.337 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.338 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.339 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.344 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.351 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.352 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test8 iteration 0 05:39:27.353 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-1411111" 05:39:27.357 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-1411111" 05:39:27.357 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.357 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.357 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=443) 05:39:27.358 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.359 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.359 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.365 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.369 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.370 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test9 iteration 0 05:39:27.371 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-2212" 05:39:27.372 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-2212" 05:39:27.372 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.372 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.372 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=447) 05:39:27.373 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.374 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.374 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.394 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.405 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.407 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test6 iteration 0 05:39:27.407 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-15339" 05:39:27.408 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-15339" 05:39:27.408 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.408 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.408 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=451) 05:39:27.409 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.409 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.410 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.415 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.424 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.425 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test10 iteration 0 05:39:27.426 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-" 05:39:27.427 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-" 05:39:27.427 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=455) 05:39:27.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.428 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.429 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.434 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.443 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.444 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test7 iteration 0 05:39:27.445 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-150333333" 05:39:27.445 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-150333333" 05:39:27.446 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.446 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.446 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=460) 05:39:27.446 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.447 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected 05:39:27.448 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected 05:39:27.453 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length() 05:39:27.458 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:27.459 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 8 elements 05:39:27.459 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 21 evaluated elements ========= Info ========== Nb constants 5 Nb method invocations 1 Nb field access 0 Nb variables 2 Total 8 Nb evaluated expressions 11 Init Execution time 287 ms Collect Execution time 245 ms Combine Execution time 1.0 ms Nb Combination par sec 11000 combinations/sec Total Execution time 533 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 & 533 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:27.748 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:27.813 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.815 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test4 iteration 0 05:39:27.816 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.816 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.816 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.817 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=329) 05:39:27.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.820 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.863 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.864 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test5 iteration 0 05:39:27.865 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.865 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.865 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.865 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=428) 05:39:27.866 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.870 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.871 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.875 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.876 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test2 iteration 0 05:39:27.877 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.877 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.877 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.878 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=431) 05:39:27.879 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.879 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.880 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.887 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.888 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test3 iteration 0 05:39:27.888 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.889 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.889 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.889 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=434) 05:39:27.891 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.891 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.892 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.899 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.900 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test6 iteration 0 05:39:27.901 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.901 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.901 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.902 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=437) 05:39:27.903 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.903 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.904 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.908 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:27.909 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test1 iteration 0 05:39:27.910 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1 05:39:27.910 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1 05:39:27.910 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:27.910 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=440) 05:39:27.910 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:27.911 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r 05:39:27.912 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass 05:39:27.914 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:27.915 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements 05:39:27.916 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 28 evaluated elements ========= Info ========== Nb constants 5 Nb method invocations 0 Nb field access 0 Nb variables 2 Total 7 Nb evaluated expressions 11 Init Execution time 352 ms Collect Execution time 102 ms Combine Execution time 2.0 ms Nb Combination par sec 5500 combinations/sec Total Execution time 456 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 & 456 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:28.153 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:28.196 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.199 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test4 iteration 0 05:39:28.200 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0 05:39:28.201 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4 05:39:28.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=320) 05:39:28.202 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.202 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.259 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.261 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test5 iteration 0 05:39:28.265 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=1 05:39:28.266 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1 05:39:28.266 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.266 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=419) 05:39:28.266 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.267 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.279 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.280 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test2 iteration 0 05:39:28.281 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5 05:39:28.282 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=3 05:39:28.282 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.282 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=441) 05:39:28.285 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.286 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.292 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.293 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test3 iteration 0 05:39:28.294 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4 05:39:28.294 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=0 05:39:28.294 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.294 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=444) 05:39:28.294 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.295 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.303 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.304 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test6 iteration 0 05:39:28.305 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0 05:39:28.307 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-3 05:39:28.307 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.307 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=447) 05:39:28.307 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.308 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.317 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.318 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test1 iteration 0 05:39:28.319 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=3 05:39:28.319 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5 05:39:28.319 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.319 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=450) 05:39:28.320 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.320 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.325 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:28.326 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 6 elements 05:39:28.327 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 63 evaluated elements ========= Info ========== Nb constants 3 Nb method invocations 0 Nb field access 0 Nb variables 3 Total 6 Nb evaluated expressions 29 Init Execution time 279 ms Collect Execution time 129 ms Combine Execution time 2.0 ms Nb Combination par sec 14500 combinations/sec Total Execution time 410 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 & 411 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/surefirebooter8062634739489789982.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-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 05:39:28.577 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent 05:39:28.619 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.620 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_4 iteration 0 05:39:28.622 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=7.0 05:39:28.622 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=8.0 05:39:28.623 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.623 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.623 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=329) 05:39:28.624 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.624 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.662 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.666 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_3 iteration 0 05:39:28.667 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0 05:39:28.668 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0 05:39:28.669 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.669 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.669 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=418) 05:39:28.673 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.674 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.685 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.687 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_2 iteration 0 05:39:28.688 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2.0 05:39:28.688 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0 05:39:28.688 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.688 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.688 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=421) 05:39:28.689 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.689 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.702 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.704 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_1 iteration 0 05:39:28.705 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0 05:39:28.705 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5.0 05:39:28.706 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.706 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.707 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=434) 05:39:28.708 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.709 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.723 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.725 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_9 iteration 0 05:39:28.725 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=101.0 05:39:28.726 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0 05:39:28.726 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.727 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.727 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=440) 05:39:28.728 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.728 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.733 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.735 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_10 iteration 0 05:39:28.735 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=8451.0 05:39:28.736 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4897.0 05:39:28.736 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.736 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.736 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=443) 05:39:28.737 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.738 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.742 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.743 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_8 iteration 0 05:39:28.744 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0 05:39:28.744 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0 05:39:28.744 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.745 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.745 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=446) 05:39:28.746 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.746 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.750 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.751 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_7 iteration 0 05:39:28.752 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0 05:39:28.753 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0 05:39:28.753 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.753 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.753 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=449) 05:39:28.754 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.755 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.759 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.760 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_6 iteration 0 05:39:28.760 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0.0 05:39:28.761 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0 05:39:28.761 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.761 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.762 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=452) 05:39:28.763 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.763 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.777 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent 05:39:28.778 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_5 iteration 0 05:39:28.779 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=9.0 05:39:28.779 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=9.0 05:39:28.779 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100 05:39:28.779 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1 05:39:28.780 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=455) 05:39:28.780 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a 05:39:28.780 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b 05:39:28.783 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit 05:39:28.785 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements 05:39:28.935 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 53457 evaluated elements ========= Info ========== Nb constants 4 Nb method invocations 0 Nb field access 0 Nb variables 3 Total 7 Nb evaluated expressions 26696 Init Execution time 289 ms Collect Execution time 166 ms Combine Execution time 161.0 ms Nb Combination par sec 165814 combinations/sec Total Execution time 617 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 & 625 ms & 10 & Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.655 sec Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.531 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.TseEvaluationTest Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.029 sec Running fr.inria.lille.repair.nopol.Defects4jEvaluationMathTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec Running fr.inria.lille.repair.nopol.Defects4jEvaluationTest Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec Running fr.inria.lille.repair.nopol.NopolTest 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1] 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest] 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@2c666090', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 91 MB 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 219 MB 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:29.550 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:31.379 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:31.379 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests -126608641 05:39:31.416 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:31.416 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests -126608641 05:39:31.447 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:31.590 [pool-331-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:31.591 [pool-331-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:31.591 [pool-331-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:31.591 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3 05:39:31.591 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests -126608641 05:39:31.636 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:31.852 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:31.864 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:31.916 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0 05:39:31.916 [pool-337-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0 05:39:32.034 [pool-337-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 6 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:32.046 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2496ms 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:32.047 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL 05:39:32.048 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java @@ -11,4 +11,4 @@ - if ( index == 0 ) // Fix index <= 0 - return s.charAt(0); + if ( index < 0) // Fix index <= 0 + return s.charAt(0); 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2] 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest] 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@7cf444a6', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 147 MB 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 224 MB 05:39:32.053 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:32.054 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:32.054 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:33.941 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:33.941 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests -126608641 05:39:34.055 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:34.257 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:34.273 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:34.351 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a) 05:39:34.351 [pool-377-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a) 05:39:34.439 [pool-377-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working 05:39:34.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2396ms 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a) 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:34.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 05:39:34.453 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java @@ -10,3 +10,3 @@ public int getMax(int a, int b){ - if ( (b - a) < 0 ){ // Fix a < b + if ( 1 < (b - a)){ // Fix a < b return b; 05:39:34.459 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3] 05:39:34.459 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:34.459 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:34.459 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest] 05:39:34.460 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_3], projectClasspath='[Ljava.net.URL;@1cfb641b', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 57 MB 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 223 MB 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:34.461 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:36.340 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:36.340 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests -126608641 05:39:36.380 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:36.555 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:36.566 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:36.604 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp 05:39:36.604 [pool-421-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp 05:39:36.682 [pool-421-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2235ms 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:36.694 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 05:39:36.695 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java @@ -10,3 +10,3 @@ - if ( tmp != 0 ){ // Fix : tmp == 0 + if ( 0 == tmp){ // Fix : tmp == 0 return true; 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5] 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest] 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRECONDITION, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@655020fb', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 85 MB 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 224 MB 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:36.707 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:38.707 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:38.707 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests -126608641 05:39:38.767 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:38.767 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests -126608641 05:39:38.813 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:38.975 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:38.985 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:39.011 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a 05:39:39.011 [pool-469-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a 05:39:39.081 [pool-469-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working 05:39:39.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2386ms 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6 05:39:39.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION 05:39:39.096 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java @@ -19,3 +19,5 @@ // FIX : precondition missing : if ( -1 b) { // FIX: if(a < b) + if (a < b) { // FIX: if(a < b) return b - a; 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7] 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest] 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_7], projectClasspath='[Ljava.net.URL;@457d3dc0', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 148 MB 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 225 MB 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:41.016 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:42.619 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:42.619 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests -126608641 05:39:42.660 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:42.660 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests -126608641 05:39:42.728 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:42.890 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:42.902 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:43.000 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 ! of arity: 1 || of arity: 2 && of arity: 2 05:39:43.174 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a) 05:39:43.174 [pool-528-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a) 05:39:43.245 [pool-528-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [7] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2] 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 7 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2244ms 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:43.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a) 05:39:43.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30 05:39:43.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL 05:39:43.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java @@ -20,4 +20,4 @@ // FIX if ( intermediaire == 0 && a!=2) - if ( intermediaire == 0 ) - return false; + if ( (intermediaire == 0) && (3 < a)) + return false; 05:39:43.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8] 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest] 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_8], projectClasspath='[Ljava.net.URL;@2f64abad', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 141 MB 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:43.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:44.773 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:44.773 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests -126608641 05:39:44.834 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:44.835 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests -126608641 05:39:44.865 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:44.983 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:44.997 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:45.046 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100 05:39:45.046 [pool-648-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100 05:39:45.103 [pool-648-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working 05:39:45.109 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 12 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1844ms 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10 05:39:45.110 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL 05:39:45.111 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java @@ -11,4 +11,4 @@ // if ( a * b <= 100) // FIX - if ( a * b < 100) - return true; + if ( (a * b) <= 100) + return true; 05:39:45.111 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2] 05:39:45.111 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:45.111 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest] 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@1139eeef', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 49 MB 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:45.112 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:45.169 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2] 05:39:45.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:45.171 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:45.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest] 05:39:45.173 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@1139eeef', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:45.174 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:45.175 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 153 MB 05:39:45.176 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:45.176 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB 05:39:45.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:45.178 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:45.179 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:46.822 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:46.822 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests -126608641 05:39:46.861 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:47.031 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:47.039 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:47.061 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2 05:39:47.061 [pool-691-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2 05:39:47.148 [pool-691-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 13 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1982ms 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - (b - a) == 2 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:47.151 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 05:39:47.152 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java @@ -10,3 +10,3 @@ public int getMax(int a, int b){ - if ( (b - a) < 0 ){ // Fix a < b + if ( (b - a) == 2){ // Fix a < b return b; 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5] 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest] 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@64d01104', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 86 MB 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:47.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:48.687 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:48.687 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests -126608641 05:39:48.722 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:48.722 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests -126608641 05:39:48.757 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:48.910 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:48.922 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:48.946 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a 05:39:48.946 [pool-710-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a 05:39:49.025 [pool-710-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 14 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:49.029 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1873ms 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION 05:39:49.030 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java @@ -19,3 +19,5 @@ // FIX : precondition missing : if ( -1 but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:53.220 [pool-781-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:53.220 [pool-781-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16. 05:39:53.220 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:53.220 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests -126608641 05:39:53.256 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:53.338 [pool-787-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:53.339 [pool-787-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:53.339 [pool-787-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:53.339 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:53.451 [pool-793-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:53.451 [pool-793-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:53.451 [pool-793-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:53.451 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3 05:39:53.451 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests -126608641 05:39:53.497 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:53.698 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:53.709 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:53.762 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0 05:39:53.762 [pool-799-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0 05:39:53.834 [pool-799-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working 05:39:53.854 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 19 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2743ms 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:53.855 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL 05:39:53.856 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java @@ -11,4 +11,4 @@ - if ( index == 0 ) // Fix index <= 0 - return s.charAt(0); + if ( index < 0) // Fix index <= 0 + return s.charAt(0); 05:39:53.863 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1] 05:39:53.863 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest] 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@5854a3ee', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 77 MB 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:53.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:55.649 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:55.649 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests -126608641 05:39:55.703 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:55.704 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests -126608641 05:39:55.745 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:55.829 [pool-839-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:55.829 [pool-839-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:55.829 [pool-839-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:55.829 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3 05:39:55.829 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests -126608641 05:39:55.881 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:56.025 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:56.036 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:56.092 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0 05:39:56.092 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:56.092 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 21 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2229ms 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL 05:39:56.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java @@ -11,4 +11,4 @@ - if ( index == 0 ) // Fix index <= 0 - return s.charAt(0); + if ( index < 0) // Fix index <= 0 + return s.charAt(0); 05:39:56.098 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1] 05:39:56.098 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest] 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@57546a4d', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 84 MB 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:56.099 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB 05:39:56.100 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:56.100 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:56.100 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:39:57.992 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:39:57.993 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests -126608641 05:39:58.050 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:58.162 [pool-876-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:58.162 [pool-876-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:58.162 [pool-876-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16. 05:39:58.162 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:39:58.162 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests -126608641 05:39:58.200 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:58.322 [pool-882-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:58.322 [pool-882-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:58.322 [pool-882-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:58.323 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:58.430 [pool-888-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected: but was:] 05:39:58.430 [pool-888-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:58.430 [pool-888-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15. 05:39:58.431 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3 05:39:58.431 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests -126608641 05:39:58.480 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:39:58.593 [pool-894-thread-1] DEBUG tests.output - Failing tests with false: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:58.593 [pool-894-thread-1] DEBUG tests.output - Failing tests with true: [test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5] 05:39:58.593 [pool-894-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:12. 05:39:58.594 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:39:58.793 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:39:58.804 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:39:58.857 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0 05:39:58.857 [pool-900-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0 05:39:58.923 [pool-900-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 26 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2832ms 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:39:58.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:39:58.931 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0 05:39:58.931 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9 05:39:58.931 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL 05:39:58.931 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java @@ -11,4 +11,4 @@ - if ( index == 0 ) // Fix index <= 0 - return s.charAt(0); + if ( index < 0) // Fix index <= 0 + return s.charAt(0); 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5] 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest] 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=COND_THEN_PRE, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@63ffa00f', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false} 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 73 MB 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 226 MB 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:39:58.935 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:40:00.819 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:40:00.819 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests -126608641 05:40:00.866 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:40:00.867 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests -126608641 05:40:00.906 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 05:40:01.052 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:40:01.071 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:40:01.108 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a 05:40:01.108 [pool-940-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a 05:40:01.174 [pool-940-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working 05:40:01.182 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:40:01.182 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 27 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:40:01.183 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:40:01.184 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7 05:40:01.184 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2247ms 05:40:01.184 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:40:01.184 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:40:01.184 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a 05:40:01.185 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6 05:40:01.185 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION 05:40:01.187 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java @@ -19,3 +19,5 @@ // FIX : precondition missing : if ( -1 evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1 05:41:06.870 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null 05:41:06.870 [main] DEBUG fr.inria.lille.evo.Main - -------------------------------------------------- 05:41:06.870 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0() 05:41:06.870 [main] DEBUG fr.inria.lille.evo.Main - -------------------------------------------------- 05:41:06.870 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests 05:41:06.982 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol 05:41:06.983 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with: 05:41:06.984 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest 05:41:06.985 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar 05:41:06.986 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@16f70cf7 05:41:06.987 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest] 05:41:06.988 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar] 05:41:06.989 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL 05:41:06.989 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest] 05:41:06.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@6e77d412', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false} 05:41:06.991 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 05:41:06.992 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 90 MB 05:41:06.992 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB 05:41:06.993 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 252 MB 05:41:06.994 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151 05:41:06.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151 05:41:06.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games 05:41:08.818 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 05:41:08.818 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests 1314309581 05:41:08.858 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 05:41:08.859 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests 1314309581 05:41:08.897 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer 05:41:09.036 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: 05:41:09.057 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators: == of arity: 2 != of arity: 2 < of arity: 2 <= of arity: 2 05:41:09.095 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1 05:41:09.096 [pool-1009-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1 05:41:09.161 [pool-1009-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working 05:41:09.167 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION---- 05:41:09.174 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 30 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 19 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2] 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2180ms 05:41:09.177 [main] INFO fr.inria.lille.repair.nopol.NoPol - 05:41:09.178 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND---- 05:41:09.178 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < 1 05:41:09.179 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6 05:41:09.179 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL 05:41:09.180 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java +++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java @@ -8,3 +8,3 @@ - if(number <= 1){ + if(number < 1){ return 0; 05:41:09.181 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND ----- 05:41:09.182 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1 05:41:09.182 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0() 05:41:09.182 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1 05:41:09.182 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null 05:41:09.183 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1 05:41:09.183 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests 05:41:09.262 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1 05:41:09.262 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null 05:41:09.262 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1 [evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1] 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: 41.281 sec Running fr.inria.lille.diff.PatchGeneratorTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.66 sec Results : Tests run: 367, Failures: 0, Errors: 0, Skipped: 11 [INFO] [INFO] --- jacoco-maven-plugin:0.8.3:report (report) @ nopol --- [INFO] Loading execution data file /builds/workspace/nopol/nopol/target/jacoco.exec [INFO] Analyzed bundle 'Nopol' with 322 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 --- [INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from tdurieux.github.io/maven-repository/snapshots/ [INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from inria [INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from sachaproject.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from gforge.inria.fr-snapshot [INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from spoon.gforge.inria.fr-release [INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from tdurieux.github.io/maven-repository/snapshots/ Adding org.apache.maven.shared.invoker.Invokerdefault [INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar Component: org.apache.maven.shared.invoker.Invokerdefault is already defined. Skipping. [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 02:26 min [INFO] Finished at: 2019-03-10T10:41:24+01:00 [INFO] Final Memory: 40M/219M [INFO] ------------------------------------------------------------------------ Recording test results Finished: SUCCESS