From 9eea6c8931f266d90376f6d539514c3fafbc824b Mon Sep 17 00:00:00 2001
From: Koen Wermer <koenwermer@gmail.com>
Date: Mon, 20 Feb 2017 20:46:34 +0100
Subject: [PATCH] ran tests

---
 ...rue_returnValue != null_true_False_False_1 |  14 ++++++++
 ...eturnValueVar == returnValue_False_False_1 |  34 ++++++++++++++++++
 ...ue_returnValue != null_true_False_False_1} |   4 +--
 ...turnValueVar == returnValue_False_False_1} |   7 ++--
 ...rue_returnValue != null_true_False_False_1 |  23 ++++++++++++
 ...eturnValueVar == returnValue_False_False_1 |  30 ++++++++++++++++
 Settings.hs                                   |   6 ++--
 Tests/GradientFunction.class                  | Bin 2475 -> 2475 bytes
 8 files changed, 109 insertions(+), 9 deletions(-)
 create mode 100644 Results/basesecantsolver_true_returnValue != null_true_False_False_1
 create mode 100644 Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1
 rename Results/{gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1 => gradientfunction_true_returnValue != null_true_False_False_1} (73%)
 rename Results/{gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1 => gradientfunction_true_true_returnValueVar == returnValue_False_False_1} (65%)
 create mode 100644 Results/iterator_true_returnValue != null_true_False_False_1
 create mode 100644 Results/iterator_true_true_returnValueVar == returnValue_False_False_1

diff --git a/Results/basesecantsolver_true_returnValue != null_true_False_False_1 b/Results/basesecantsolver_true_returnValue != null_true_False_False_1
new file mode 100644
index 0000000..abe804a
--- /dev/null
+++ b/Results/basesecantsolver_true_returnValue != null_true_False_False_1	
@@ -0,0 +1,14 @@
+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
diff --git a/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1 b/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1
new file mode 100644
index 0000000..146a79e
--- /dev/null
+++ b/Results/basesecantsolver_true_true_returnValueVar == returnValue_False_False_1	
@@ -0,0 +1,34 @@
+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
diff --git a/Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1 b/Results/gradientfunction_true_returnValue != null_true_False_False_1
similarity index 73%
rename from Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1
rename to Results/gradientfunction_true_returnValue != null_true_False_False_1
index 5f12fa9..93df7e3 100644
--- a/Results/gradientfunction_true_returnValueVar == returnValue_returnValueVar == returnValue_False_False_1	
+++ b/Results/gradientfunction_true_returnValue != null_true_False_False_1	
@@ -1,7 +1,7 @@
 testFile: gradientfunction
 postCondVoid: true
-postCondRefType: returnValueVar == returnValue
-postCondPrimType: returnValueVar == returnValue
+postCondRefType: returnValue != null
+postCondPrimType: true
 ignoreLibMethods: False
 ignoreMainMethod: False
 nrOfUnroll: 1
diff --git a/Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1 b/Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1
similarity index 65%
rename from Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1
rename to Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1
index a4cce7e..a1a4303 100644
--- a/Results/gradientfunction_true_returnValue != null_returnValueVar == returnValue_True_False_1	
+++ b/Results/gradientfunction_true_true_returnValueVar == returnValue_False_False_1	
@@ -1,8 +1,8 @@
 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
diff --git a/Results/iterator_true_returnValue != null_true_False_False_1 b/Results/iterator_true_returnValue != null_true_False_False_1
new file mode 100644
index 0000000..67c1037
--- /dev/null
+++ b/Results/iterator_true_returnValue != null_true_False_False_1	
@@ -0,0 +1,23 @@
+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
diff --git a/Results/iterator_true_true_returnValueVar == returnValue_False_False_1 b/Results/iterator_true_true_returnValueVar == returnValue_False_False_1
new file mode 100644
index 0000000..f0e76e3
--- /dev/null
+++ b/Results/iterator_true_true_returnValueVar == returnValue_False_False_1	
@@ -0,0 +1,30 @@
+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
diff --git a/Settings.hs b/Settings.hs
index 351ed5d..cb8f58d 100644
--- a/Settings.hs
+++ b/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
diff --git a/Tests/GradientFunction.class b/Tests/GradientFunction.class
index 2f0890ce7ada774b1c0eae5a4512209670922587..8648b1d5a58f7ba2bed2dc561cb18398a6673006 100644
GIT binary patch
delta 22
dcmZ22yjpleI3uTfQDRDFYF>%k<^)D>4ggu@2WbER

delta 22
dcmZ22yjpleI3s6zQDRDFYF<g&<^)D>4gg$b2dMx6

-- 
GitLab