评估自动程序修复功能以修复API误用_Java_Python_下载.zip

22:28:28.050 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [/apiarty/data/ivantrendafilov-confucius-101/Confucius/src/main/java, /apiarty/data/ivantrendafilov-confucius-101/Confucius/src/test/java] 22:28:28.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/apiarty/data/ivantrendafilov-confucius-101/Confucius/target/classes/, file:/apiarty/data/ivantrendafilov-confucius-101/Confucius/target/test-classes/, file:/root/.m2/repository/org/slf4j/slf4j-api/1.7.5/slf4j-api-1.7.5.jar, file:/root/.m2/repository/junit/junit/4.11/junit-4.11.jar, file:/root/.m2/repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar] 22:28:28.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND 22:28:28.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [org.trendafilov.confucius.ConfigurationTest] 22:28:28.066 [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=DYNAMOTH, oracle=ANGELIC, solver=Z3, solverPath='/nopol/nopol/lib/z3/z3_for_linux', projectSources=[/apiarty/data/ivantrendafilov-confucius-101/Confucius/src/main/java, /apiarty/data/ivantrendafilov-confucius-101/Confucius/src/test/java], projectClasspath='[Ljava.net.URL;@3c5a99da', projectTests=[org.trendafilov.confucius.ConfigurationTest], complianceLevel=7, outputFolder=., json=false} 22:28:28.068 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2 22:28:28.081 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 50 MB 22:28:28.082 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 3 GB 22:28:28.084 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 59 MB 22:28:28.085 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_232 22:28:28.088 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /usr/lib/jvm/java-8-openjdk-amd64 22:28:28.089 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /apiarty/apiarty.bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin 22:28:38.134 [pool-1-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1 22:28:38.136 [pool-1-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation org.trendafilov.confucius.core.AbstractConfiguration:231 which is executed by 2 tests 1938082773 22:28:38.731 [pool-1-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2 22:28:38.732 [pool-1-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation org.trendafilov.confucius.core.AbstractConfiguration:226 which is executed by 2 tests 1938082773 22:28:39.062 [pool-1-thread-1] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder 18:28:41.140 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Initializing configuration... 18:28:41.147 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [awt.toolkit] => [sun.awt.X11.XToolkit] 18:28:41.148 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [file.encoding.pkg] => [sun.io] 18:28:41.149 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.specification.version] => [1.8] 18:28:41.150 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.cpu.isalist] => [] 18:28:41.150 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.jnu.encoding] => [UTF-8] 18:28:41.151 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.class.path] => [/usr/lib/jvm/java-8-openjdk-amd64/lib/tools.jar:/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar] 18:28:41.152 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.vm.vendor] => [Private Build] 18:28:41.153 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.arch.data.model] => [64] 18:28:41.154 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.vendor.url] => [http://java.oracle.com/] 18:28:41.154 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [user.timezone] => [Etc/UTC] 18:28:41.155 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [os.name] => [Linux] 18:28:41.156 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.vm.specification.version] => [1.8] 18:28:41.157 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [spoon.log.path] => [${java.io.tmpdir}/spoon-log.log] 18:28:41.158 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.java.launcher] => [SUN_STANDARD] 18:28:41.159 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.boot.library.path] => [/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/amd64] 18:28:41.161 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.java.command] => [fr.inria.lille.repair.Main -s /apiarty/data/ivantrendafilov-confucius-101/Confucius/src/main/java:/apiarty/data/ivantrendafilov-confucius-101/Confucius/src/test/java -c /apiarty/data/ivantrendafilov-confucius-101/Confucius/target/classes:/apiarty/data/ivantrendafilov-confucius-101/Confucius/target/test-classes:/root/.m2/repository/org/slf4j/slf4j-api/1.7.5/slf4j-api-1.7.5.jar:/root/.m2/repository/junit/junit/4.11/junit-4.11.jar:/root/.m2/repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar -t org.trendafilov.confucius.ConfigurationTest -p /nopol/nopol/lib/z3/z3_for_linux -y dynamoth --type pre_then_cond --maxTime 120] 18:28:41.162 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.cpu.endian] => [little] 18:28:41.163 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [user.home] => [/root] 18:28:41.164 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [user.language] => [en] 18:28:41.165 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.specification.vendor] => [Oracle Corporation] 18:28:41.166 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.home] => [/usr/lib/jvm/java-8-openjdk-amd64/jre] 18:28:41.167 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [file.separator] => [/] 18:28:41.168 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [line.separator] => [ ] 18:28:41.169 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.vm.specification.vendor] => [Oracle Corporation] 18:28:41.170 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.specification.name] => [Java Platform API Specification] 18:28:41.171 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [java.awt.graphicsenv] => [sun.awt.X11GraphicsEnvironment] 18:28:41.171 [pool-4-thread-1] INFO o.t.c.core.AbstractConfiguration - Set configuration property: [sun.boot.class.path] => [/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/resources.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar:/usr/lib