Skip to content

Commit

Permalink
removed failed evosuite tests #3
Browse files Browse the repository at this point in the history
  • Loading branch information
SophieHYe authored and SophieHYe committed Mar 20, 2018
1 parent 2da0132 commit b8eb02c
Show file tree
Hide file tree
Showing 223 changed files with 1,244 additions and 1,289 deletions.
Binary file removed PatchEvaluation.png
Binary file not shown.
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -13,29 +13,11 @@
import org.evosuite.runtime.ViolatedAssumptionAnswer;

public class HANOI_ESTest {



@Test(timeout = 4000)
public void test0() throws Throwable {
HANOI hANOI0 = new HANOI();
int int0 = 2986;
HANOI.hanoi(1, 0, 2986);
HANOI.hanoi(3, 2986, 355);
HANOI.hanoi(1, 1, 2986);
List<HANOI.Pair<Integer, Integer>> list0 = HANOI.hanoi(1, 1, 1);
HANOI.Pair<Object, Object> hANOI_Pair0 = new HANOI.Pair<Object, Object>((Object) null, hANOI0);
hANOI_Pair0.getFirst();
hANOI_Pair0.getFirst();
hANOI_Pair0.setSecond(list0);
int int1 = 1482;
int int2 = 3;
HANOI.hanoi(int0, int1, int2);
Object object0 = new Object();
hANOI_Pair0.setSecond(object0);
Object object1 = new Object();
hANOI_Pair0.setFirst(object1);
}

@Test(timeout = 4000)
@SuppressWarnings("unchecked")
@Test(timeout = 20000)
public void test1() throws Throwable {
HANOI hANOI0 = new HANOI();
HANOI.hanoi((-1707), (-1707), 2654);
Expand All @@ -46,39 +28,5 @@ public void test1() throws Throwable {
assertSame(hANOI_Pair2, hANOI_Pair0);
}

@Test(timeout = 4000)
public void test2() throws Throwable {
String string0 = "";
HANOI.Pair<Object, Object> hANOI_Pair0 = new HANOI.Pair<Object, Object>("", "");
Object object0 = new Object();
hANOI_Pair0.setFirst((Object) null);
hANOI_Pair0.toString();
hANOI_Pair0.setSecond(object0);
hANOI_Pair0.toString();
String string1 = ", ";
HANOI.Pair<String, String> hANOI_Pair1 = new HANOI.Pair<String, String>(", ", "(null, java.lang.Object@489bfb9f)");
hANOI_Pair1.setFirst("(null, )");
int int0 = 46;
hANOI_Pair0.setFirst(hANOI_Pair1);
Integer integer0 = new Integer(46);
HANOI.Pair<Object, Integer> hANOI_Pair2 = new HANOI.Pair<Object, Integer>(hANOI_Pair1, integer0);
hANOI_Pair2.setFirst("(null, )");
int int1 = 944;
int int2 = 2081;
HANOI.hanoi(int1, int2, int0);
Integer integer1 = Integer.getInteger(string1);
String string2 = "_`ma{w^H]TiVxpCk|";
HANOI.Pair<Integer, String> hANOI_Pair3 = new HANOI.Pair<Integer, String>(integer0, string2);
Integer.decode(string0);
hANOI_Pair3.toString();
hANOI_Pair3.setFirst(integer1);
hANOI_Pair3.toString();
hANOI_Pair3.getSecond();
HANOI hANOI0 = new HANOI();
int int3 = (-1287);
HANOI.hanoi(int2, int2, int3);
String string3 = "-p'L&g2,!|nOn^fA~}";
HANOI.Pair<HANOI.Pair<String, String>, String> hANOI_Pair4 = new HANOI.Pair<HANOI.Pair<String, String>, String>(hANOI_Pair1, string3);
hANOI_Pair4.getSecond();
}

}
Binary file not shown.
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ public void test5() throws Throwable {
LONGEST_COMMON_SUBSEQUENCE.longest_common_subsequence("jb+L7ol", "u+*n9p}[KbAka$@");
}

@Test(timeout = 4000)
@Test
public void test6() throws Throwable {
LONGEST_COMMON_SUBSEQUENCE lONGEST_COMMON_SUBSEQUENCE0 = new LONGEST_COMMON_SUBSEQUENCE();
LONGEST_COMMON_SUBSEQUENCE.longest_common_subsequence("", "");
Expand Down
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -58,28 +58,28 @@ public void test1() throws Throwable {
assertEquals(0, int0);
}

@Test(timeout = 4000)
public void test2() throws Throwable {
POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
int[] intArray0 = new int[1];
intArray0[0] = (-2124);
int int0 = 1;
int int1 = POSSIBLE_CHANGE.possible_change(intArray0, int0);
int int2 = 0;
int int3 = POSSIBLE_CHANGE.possible_change(intArray0, int2);
int int4 = (-206);
POSSIBLE_CHANGE.possible_change(intArray0, int4);
POSSIBLE_CHANGE.possible_change(intArray0, int1);
int int5 = POSSIBLE_CHANGE.possible_change(intArray0, int4);
int int6 = (-1374);
POSSIBLE_CHANGE.possible_change(intArray0, int6);
int[] intArray1 = new int[2];
int int7 = 227;
intArray1[0] = int7;
intArray1[1] = int5;
POSSIBLE_CHANGE.possible_change(intArray1, intArray1[1]);
POSSIBLE_CHANGE.possible_change(intArray1, int3);
}
// @Test(timeout = 4000)
// public void test2() throws Throwable {
// POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
// int[] intArray0 = new int[1];
// intArray0[0] = (-2124);
// int int0 = 1;
// int int1 = POSSIBLE_CHANGE.possible_change(intArray0, int0);
// int int2 = 0;
// int int3 = POSSIBLE_CHANGE.possible_change(intArray0, int2);
// int int4 = (-206);
// POSSIBLE_CHANGE.possible_change(intArray0, int4);
// POSSIBLE_CHANGE.possible_change(intArray0, int1);
// int int5 = POSSIBLE_CHANGE.possible_change(intArray0, int4);
// int int6 = (-1374);
// POSSIBLE_CHANGE.possible_change(intArray0, int6);
// int[] intArray1 = new int[2];
// int int7 = 227;
// intArray1[0] = int7;
// intArray1[1] = int5;
// POSSIBLE_CHANGE.possible_change(intArray1, intArray1[1]);
// POSSIBLE_CHANGE.possible_change(intArray1, int3);
// }

@Test(timeout = 4000)
public void test3() throws Throwable {
Expand All @@ -97,77 +97,77 @@ public void test3() throws Throwable {
assertEquals(1, int0);
}

@Test(timeout = 4000)
public void test4() throws Throwable {
POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
int[] intArray0 = new int[5];
intArray0[0] = 0;
intArray0[1] = 0;
intArray0[2] = 1161;
intArray0[3] = (-2685);
intArray0[4] = 639;
POSSIBLE_CHANGE.possible_change(intArray0, intArray0[4]);
int int0 = 0;
POSSIBLE_CHANGE.possible_change(intArray0, int0);
int int1 = 0;
POSSIBLE_CHANGE.possible_change(intArray0, int1);
int int2 = (-1509);
POSSIBLE_CHANGE.possible_change(intArray0, int2);
int int3 = 0;
POSSIBLE_CHANGE.possible_change(intArray0, int3);
}
// @Test(timeout = 4000)
// public void test4() throws Throwable {
// POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
// int[] intArray0 = new int[5];
// intArray0[0] = 0;
// intArray0[1] = 0;
// intArray0[2] = 1161;
// intArray0[3] = (-2685);
// intArray0[4] = 639;
// POSSIBLE_CHANGE.possible_change(intArray0, intArray0[4]);
// int int0 = 0;
// POSSIBLE_CHANGE.possible_change(intArray0, int0);
// int int1 = 0;
// POSSIBLE_CHANGE.possible_change(intArray0, int1);
// int int2 = (-1509);
// POSSIBLE_CHANGE.possible_change(intArray0, int2);
// int int3 = 0;
// POSSIBLE_CHANGE.possible_change(intArray0, int3);
// }

@Test(timeout = 4000)
public void test5() throws Throwable {
POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
int[] intArray0 = new int[6];
intArray0[0] = (-730);
intArray0[1] = (-2644);
intArray0[2] = 0;
intArray0[3] = 3737;
intArray0[4] = 0;
intArray0[5] = 0;
int int0 = 1820;
POSSIBLE_CHANGE.possible_change(intArray0, int0);
}
// @Test(timeout = 4000)
// public void test5() throws Throwable {
// POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
// int[] intArray0 = new int[6];
// intArray0[0] = (-730);
// intArray0[1] = (-2644);
// intArray0[2] = 0;
// intArray0[3] = 3737;
// intArray0[4] = 0;
// intArray0[5] = 0;
// int int0 = 1820;
// POSSIBLE_CHANGE.possible_change(intArray0, int0);
// }

@Test(timeout = 4000)
public void test6() throws Throwable {
int[] intArray0 = new int[5];
int int0 = 944;
intArray0[0] = 944;
intArray0[1] = 2081;
int int1 = (-560);
intArray0[2] = (-560);
intArray0[3] = (-1142);
intArray0[4] = 743;
POSSIBLE_CHANGE.possible_change(intArray0, (-1142));
int[] intArray1 = new int[4];
intArray1[0] = 2081;
intArray1[1] = 743;
intArray1[2] = 2081;
intArray1[3] = (-560);
POSSIBLE_CHANGE.possible_change(intArray1, (-1142));
POSSIBLE_CHANGE.possible_change(intArray0, (-560));
int int2 = POSSIBLE_CHANGE.possible_change(intArray1, 0);
POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
int int3 = 1;
POSSIBLE_CHANGE.possible_change(intArray0, int3);
POSSIBLE_CHANGE.possible_change(intArray1, intArray0[0]);
int int4 = (-1949);
POSSIBLE_CHANGE.possible_change(intArray1, int4);
int int5 = 2308;
POSSIBLE_CHANGE.possible_change(intArray1, int5);
int[] intArray2 = new int[5];
intArray2[0] = int0;
intArray2[1] = int4;
intArray2[2] = int2;
intArray2[3] = int1;
int int6 = (-265);
intArray2[4] = int6;
int int7 = (-897);
POSSIBLE_CHANGE.possible_change(intArray2, int7);
}
// @Test(timeout = 4000)
// public void test6() throws Throwable {
// int[] intArray0 = new int[5];
// int int0 = 944;
// intArray0[0] = 944;
// intArray0[1] = 2081;
// int int1 = (-560);
// intArray0[2] = (-560);
// intArray0[3] = (-1142);
// intArray0[4] = 743;
// POSSIBLE_CHANGE.possible_change(intArray0, (-1142));
// int[] intArray1 = new int[4];
// intArray1[0] = 2081;
// intArray1[1] = 743;
// intArray1[2] = 2081;
// intArray1[3] = (-560);
// POSSIBLE_CHANGE.possible_change(intArray1, (-1142));
// POSSIBLE_CHANGE.possible_change(intArray0, (-560));
// int int2 = POSSIBLE_CHANGE.possible_change(intArray1, 0);
// POSSIBLE_CHANGE pOSSIBLE_CHANGE0 = new POSSIBLE_CHANGE();
// int int3 = 1;
// POSSIBLE_CHANGE.possible_change(intArray0, int3);
// POSSIBLE_CHANGE.possible_change(intArray1, intArray0[0]);
// int int4 = (-1949);
// POSSIBLE_CHANGE.possible_change(intArray1, int4);
// int int5 = 2308;
// POSSIBLE_CHANGE.possible_change(intArray1, int5);
// int[] intArray2 = new int[5];
// intArray2[0] = int0;
// intArray2[1] = int4;
// intArray2[2] = int2;
// intArray2[3] = int1;
// int int6 = (-265);
// intArray2[4] = int6;
// int int7 = (-897);
// POSSIBLE_CHANGE.possible_change(intArray2, int7);
// }

@Test(timeout = 4000)
public void test7() throws Throwable {
Expand Down
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,11 @@ public void test0() throws Throwable {
SQRT sQRT0 = new SQRT();
}

@Test(timeout = 4000)
public void test1() throws Throwable {
// Undeclared exception!
SQRT.sqrt((-394.07), (-394.07));
}
// @Test(timeout = 4000)
// public void test1() throws Throwable {
// // Undeclared exception!
// SQRT.sqrt((-394.07), (-394.07));
// }

@Test(timeout = 4000)
public void test2() throws Throwable {
Expand Down
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -47,11 +47,11 @@ public void test3() throws Throwable {
}
}

@Test(timeout = 4000)
public void test4() throws Throwable {
// Undeclared exception!
TO_BASE.to_base(1, 1);
}
// @Test(timeout = 4000)
// public void test4() throws Throwable {
// // Undeclared exception!
// TO_BASE.to_base(1, 1);
// }

@Test(timeout = 4000)
public void test5() throws Throwable {
Expand Down
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -55,11 +55,11 @@ public void test4() throws Throwable {
}
}

@Test(timeout = 4000)
public void test5() throws Throwable {
// Undeclared exception!
WRAP.wrap("FuuN_;PR?1;ub A", 1);
}
// @Test(timeout = 4000)
// public void test5() throws Throwable {
// // Undeclared exception!
// WRAP.wrap("FuuN_;PR?1;ub A", 1);
// }

@Test(timeout = 4000)
public void test6() throws Throwable {
Expand Down
Binary file not shown.
Loading

0 comments on commit b8eb02c

Please sign in to comment.