ran tests

Results/basesecantsolver_true_returnValue != null_true_False_False_1

+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: returnValue != null
+postCondPrimType: true
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+Total number of mutants: 207
+Number of mutants in which we found an error: 2
\ No newline at end of file

Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1

+testFile: basesecantsolver
+postCondVoid: true
+postCondRefType: true
+postCondPrimType: returnValueVar == returnValue
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+206 verifyBracketing
+200 verifyInterval1
+200 verifySequence1
+200 verifyBracketing
+197 isSequence1
+196 isSequence1
+195 isSequence1
+194 isSequence1
+193 isSequence1
+192 isSequence1
+191 isSequence1
+190 isSequence1
+189 isSequence1
+188 isSequence1
+152 midpoint
+151 midpoint
+150 midpoint
+149 midpoint
+148 midpoint
+147 midpoint
+146 midpoint
+145 midpoint
+144 midpoint
+143 midpoint
+Total number of mutants: 207
+Number of mutants in which we found an error: 22
\ No newline at end of file

Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1 → Results/gradientfunction_true_returnValue != null_true_False_False_1

 testFile: gradientfunction
 postCondVoid: true
-postCondRefType: returnValueVar == returnValue
-postCondPrimType: returnValueVar == returnValue
+postCondRefType: returnValue != null
+postCondPrimType: true
 ignoreLibMethods: False
 ignoreMainMethod: False
 nrOfUnroll: 1

Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1 → Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1

 testFile: gradientfunction
 postCondVoid: true
-postCondRefType: returnValue != null
+postCondRefType: true
 postCondPrimType: returnValueVar == returnValue
-ignoreLibMethods: True
+ignoreLibMethods: False
 ignoreMainMethod: False
 nrOfUnroll: 1
 erronous mutations detected:
@@ -10,6 +10,5 @@ erronous mutations detected:
 5 value
 4 value
 2 value
-11 value
 Total number of mutants: 26
-Number of mutants in which we found an error: 5
\ No newline at end of file
+Number of mutants in which we found an error: 4
\ No newline at end of file

Results/iterator_true_returnValue != null_true_False_False_1

+testFile: iterator
+postCondVoid: true
+postCondRefType: returnValue != null
+postCondPrimType: true
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+42 advance
+41 advance
+39 advance
+32 advance
+31 advance
+26 value
+25 value
+23 value
+22 value
+17 key
+16 key
+14 key
+13 key
+Total number of mutants: 43
+Number of mutants in which we found an error: 13
\ No newline at end of file

Results/iterator_true_true_returnValueVar == returnValue_False_False_1

+testFile: iterator
+postCondVoid: true
+postCondRefType: true
+postCondPrimType: returnValueVar == returnValue
+ignoreLibMethods: False
+ignoreMainMethod: False
+nrOfUnroll: 1
+erronous mutations detected:
+9 hasNext
+8 hasNext
+7 hasNext
+6 hasNext
+42 advance
+41 advance
+39 advance
+32 advance
+31 advance
+28 value
+26 value
+25 value
+23 value
+22 value
+19 key
+17 key
+16 key
+14 key
+13 key
+10 hasNext
+Total number of mutants: 43
+Number of mutants in which we found an error: 20
\ No newline at end of file

Settings.hs

@@ -3,12 +3,12 @@ module Settings where
 import System.FilePath(joinPath)
 
 testFile, postCondVoid, postCondRefType, postCondPrimType :: String
-testFile = "Vector"
+testFile = test3
 
 -- The post condition may depend on the type of the method we are looking at
 postCondVoid = "true"
-postCondRefType = heur2
-postCondPrimType = heur2
+postCondRefType = heur1
+postCondPrimType = heur0
 
 -- When ignoreLibMethods is true, library calls will simply be ignored. When false, we consider library methods but make no assumptions about them (so the WLP will be true)
 -- To prevent insanely long calculation times, we may decide to not calculate the wlp of the main method when ignoring library methods