made some small fixes and changed vector_r3 to be actually equivalent to...
made some small fixes and changed vector_r3 to be actually equivalent to vector. Also added haskell code to generate a shell script to run daikon
Showing
- Daikon.hs 35 additions, 0 deletionsDaikon.hs
- Equivalent mutations/Mutants/Vector_R1.java 6 additions, 3 deletionsEquivalent mutations/Mutants/Vector_R1.java
- Equivalent mutations/Mutants/Vector_R2.java 6 additions, 3 deletionsEquivalent mutations/Mutants/Vector_R2.java
- Equivalent mutations/Mutants/Vector_R3.java 6 additions, 3 deletionsEquivalent mutations/Mutants/Vector_R3.java
- Equivalent mutations/Vector.java 6 additions, 3 deletionsEquivalent mutations/Vector.java
- HelperFunctions.hs 5 additions, 0 deletionsHelperFunctions.hs
- Main.hs 3 additions, 3 deletionsMain.hs
- Results/False Positives/true_returnValue != null_returnValueVar == returnValue_False_False_1 1 addition, 2 deletions...Value != null_returnValueVar == returnValue_False_False_1
- Results/False Positives/true_returnValue != null_true_False_False_1 1 addition, 2 deletions...lse Positives/true_returnValue != null_true_False_False_1
- Results/basesecantsolver_true_returnValue != null_returnValueVar == returnValue_False_False_1 1 addition, 27 deletions...Value != null_returnValueVar == returnValue_False_False_1
- Settings.hs 4 additions, 1 deletionSettings.hs
- Tests/BaseSecantSolver$1.class 0 additions, 0 deletionsTests/BaseSecantSolver$1.class
- Tests/BaseSecantSolver$Method.class 0 additions, 0 deletionsTests/BaseSecantSolver$Method.class
- Tests/BaseSecantSolver.class 0 additions, 0 deletionsTests/BaseSecantSolver.class
- Tests/GradientFunction.class 0 additions, 0 deletionsTests/GradientFunction.class
- Tests/Iterator.class 0 additions, 0 deletionsTests/Iterator.class
- WLP.hs 4 additions, 3 deletionsWLP.hs
Loading
Please register or sign in to comment