diff --git a/docs/getting-starting.md b/docs/getting-starting.md index 321e191f1..be77401ca 100644 --- a/docs/getting-starting.md +++ b/docs/getting-starting.md @@ -19,7 +19,7 @@ In any case, most important test cases are always executed on [travis](https://t Warning: Windows is only partially supported. mvn package -DskipTests=true - + The following JAR will be created by this command: `target/astor-0.0.2-SNAPSHOT-jar-with-dependencies.jar` This will referenced as `astor.jar` for the rest of this guide but you will need to replace it with the full line when inserting commands. @@ -80,6 +80,8 @@ Additionally, Astor writes a JSON file ('astor_output.json') which summarizes th Inside the folder "/src/" Astor stores the source code of the solutions that it found. +If there is no solution found (i.e. the list `patch` is empty in "astor_output.json"), no source code would be generated in the folder "/src/". + Folder “default” contains the original program, without any modification. It's a sanity check, containing the output of spoon without applying any processor over the spoon model of the application under repair. Each folder "variant-x" is a valid solution to the repair problem (passes all tests). The "x" corresponds to the id (unique identifier) assigned to a variant. There is an command line argument `saveall` that allows you to save all variants that Astor generates, even if they are not a solution. @@ -101,11 +103,11 @@ For executing Astor in jMutRepair mode: # Command line arguments -mode jgenprog|jkali|jMutRepair|... - + -location "absolute location of the project to repair" (**MANDATORY**) - + -dependencies "folder with the dependencies of the application to repair" - + -failing "canonical names of classes with failing test cases" (if there are several classes with failing test cases, give them separated by the classpath separator (: in linux/mac and ; in windows) -package "package to manipulate" (only the statements from this package are manipulated to find a patch) @@ -125,14 +127,15 @@ For executing Astor in jMutRepair mode: -binjavafolder "class folder" -bintestfolder "test class folder" - + - + + ### Command line arguments example Math-70 from Defects4J: - + -location /examples/math_70 - - -mode statement + + -mode statement -package org.apache.commons @@ -171,7 +174,7 @@ Astor needs to be executed over a JVM 8+. By default, Astor uses the JVM specifi For example, running bug Math-70 from Defects4J on a JVM 8 could produce two failing/errored test cases: testMath280(org.apache.commons.math.distribution.NormalDistributionTest) - testMinpackMeyer(org.apache.commons.math.estimation.MinpackTest) + testMinpackMeyer(org.apache.commons.math.estimation.MinpackTest) The first one (`testMath280`) is the test that expose the bug Math-70. It's correct that it fails. However, the second one (`testMinpackMeyer`) fails due to the JVM and it must not fail. It's a platform-related error. As conclusion, using a java VM 8+ could produce that Astor does not find patches for bugs that must be repaired by the tool. @@ -209,4 +212,3 @@ A. Run the install command under the folder "/astor/lib/gzoltar", which is `mvn - diff --git a/pom.xml b/pom.xml index 98f5ec1ad..5cc0aed74 100644 --- a/pom.xml +++ b/pom.xml @@ -48,7 +48,7 @@ com.github.spoonlabs flacoco - 1.0.5 + 1.0.6 @@ -167,16 +167,6 @@ https://oss.sonatype.org/content/repositories/snapshots - - inria - https://spoon.gforge.inria.fr/repositories/releases/ - - - spoon-snapshot - maven repository for spoon snapshots - https://repository.ow2.org/nexus/content/repositories/snapshots/ - - EvoSuite EvoSuite Repository @@ -196,12 +186,6 @@ https://tdurieux.github.io/maven-repository/snapshots/ - - maven.inria.fr-snapshot - Maven Repository for Spoon Artifac Snapshot - https://maven.inria.fr/artifactory/spoon-public-snapshot/ - - diff --git a/src/test/java/fr/inria/astor/test/D4JWorkflowTestSingle.java b/src/test/java/fr/inria/astor/test/D4JWorkflowTestSingle.java index ad2235994..99ef6e962 100644 --- a/src/test/java/fr/inria/astor/test/D4JWorkflowTestSingle.java +++ b/src/test/java/fr/inria/astor/test/D4JWorkflowTestSingle.java @@ -484,10 +484,11 @@ public void testChart25JKali() throws Exception { runComplete("Chart25", "", "jKali", TIMEOUTMIN); } - @Test - public void testChart26JKali() throws Exception { - runComplete("Chart26", "", "jKali", TIMEOUTMIN); - } + // removed on August 24 by Martin, flaky + // @Test + // public void testChart26JKali() throws Exception { + // runComplete("Chart26", "", "jKali", TIMEOUTMIN); + // } public static void runCompleteJGenProg(String bug_id, String mvn_option) throws Exception { @@ -830,4 +831,4 @@ public void testSynthesisjKaliIssueMath78PatchNopol() throws Exception { } -} \ No newline at end of file +}