自动化测试的整体步骤如下(目标为一个程序Triangle.java):
Triangle.java代码如下:
public class Triangle { protected long lborderA = 0; protected long lborderB = 0; protected long lborderC = 0; // Constructor public Triangle(long lborderA, long lborderB, long lborderC) { this.lborderA = lborderA; this.lborderB = lborderB; this.lborderC = lborderC; } /** * check if it is a triangle * * @return true for triangle and false not */ public boolean isTriangle(Triangle triangle) { boolean isTriangle = false; // check boundary if ((triangle.lborderA > 0 && triangle.lborderA <= Long.MAX_VALUE) && (triangle.lborderB > 0 && triangle.lborderB <= Long.MAX_VALUE) && (triangle.lborderC > 0 && triangle.lborderC <= Long.MAX_VALUE)) { // check if subtraction of two border larger than the third if (diffOfBorders(triangle.lborderA, triangle.lborderB) < triangle.lborderC && diffOfBorders(triangle.lborderB, triangle.lborderC) < triangle.lborderA && diffOfBorders(triangle.lborderC, triangle.lborderA) < triangle.lborderB) { isTriangle = true; } } return isTriangle; } /** * Check the type of triangle * * Consists of "Illegal", "Regular", "Scalene", "Isosceles" */ public String getType(Triangle triangle) { String strType = "Illegal"; if (isTriangle(triangle)) { // Is Regular if (triangle.lborderA == triangle.lborderB && triangle.lborderB == triangle.lborderC) { strType = "Regular"; } // If scalene else if ((triangle.lborderA != triangle.lborderB) && (triangle.lborderB != triangle.lborderC) && (triangle.lborderA != triangle.lborderC)) { strType = "Scalene"; } // if isosceles else { strType = "Isosceles"; } } return strType; } /** * calculate the diff between borders * * */ public long diffOfBorders(long a, long b) { return (a > b) ? (a - b) : (b - a); } /** * get length of borders */ public long[] getBorders() { long[] borders = new long[3]; borders[0] = this.lborderA; borders[1] = this.lborderB; borders[2] = this.lborderC; return borders; } }
1‘自动生成测试用例(利用randoop工具),得到测试用例集文件(tests.java文件):
(1) 在目标路径下放置Triangle.java;在命令界面当前路径下输入javac Triangle.java 进行编译得到文件Triangle.class;之后再新建myclass.txt文件写入类名Triangle。
(2)用randoop工具(安装配置见 http://www.cnblogs.com/1996swg/p/7148100.html )在命令界面当前路径下输入命令 java -classpath .;%RANDOOP_JAR% randoop.main.Main gentests --classlist=myclass.txt --timelimit=6 ,显示结果如下:
查看当前目录下生成两个测试用例集文件,第一步测试用例自动生成完成。如图:
查看Regression Test0.java内容如下:
import org.junit.FixMethodOrder; import org.junit.Test; import org.junit.runners.MethodSorters; @FixMethodOrder(MethodSorters.NAME_ASCENDING) public class RegressionTest0 { public static boolean debug = false; @Test public void test01() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test01"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); triangle3.lborderB = (short) 1; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); } @Test public void test02() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test02"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle10 = null; try { boolean b11 = triangle3.isTriangle(triangle10); org.junit.Assert.fail("Expected exception of type java.lang.NullPointerException"); } catch (java.lang.NullPointerException e) { } org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); } @Test public void test03() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test03"); Triangle triangle3 = new Triangle(100L, 10L, (long) (short) -1); long long4 = triangle3.lborderC; long long5 = triangle3.lborderB; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long5 == 10L); } @Test public void test04() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test04"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; Triangle triangle14 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long15 = triangle14.lborderA; java.lang.String str16 = triangle7.getType(triangle14); long long17 = triangle14.lborderC; java.lang.String str18 = triangle3.getType(triangle14); long long19 = triangle14.lborderA; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue("'" + str16 + "' != '" + "Illegal" + "'", str16.equals("Illegal")); org.junit.Assert.assertTrue(long17 == 10L); org.junit.Assert.assertTrue("'" + str18 + "' != '" + "Illegal" + "'", str18.equals("Illegal")); org.junit.Assert.assertTrue(long19 == (-1L)); } @Test public void test05() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test05"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; triangle16.lborderB = (short) 0; Triangle triangle23 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long24 = triangle23.lborderA; java.lang.String str25 = triangle16.getType(triangle23); boolean b26 = triangle3.isTriangle(triangle23); triangle23.lborderB = 99L; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(long24 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(b26 == false); } @Test public void test06() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test06"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; Triangle triangle14 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long15 = triangle14.lborderA; java.lang.String str16 = triangle7.getType(triangle14); long long17 = triangle14.lborderC; java.lang.String str18 = triangle3.getType(triangle14); long[] long_array19 = triangle3.getBorders(); triangle3.lborderB = (-1L); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue("'" + str16 + "' != '" + "Illegal" + "'", str16.equals("Illegal")); org.junit.Assert.assertTrue(long17 == 10L); org.junit.Assert.assertTrue("'" + str18 + "' != '" + "Illegal" + "'", str18.equals("Illegal")); org.junit.Assert.assertNotNull(long_array19); } @Test public void test07() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test07"); Triangle triangle3 = new Triangle((long) (short) 0, (long) 10, (long) 100); } @Test public void test08() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test08"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); long long23 = triangle20.lborderC; java.lang.String str24 = triangle9.getType(triangle20); long[] long_array25 = triangle9.getBorders(); boolean b26 = triangle3.isTriangle(triangle9); triangle3.lborderA = (byte) 1; org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long23 == 10L); org.junit.Assert.assertTrue("'" + str24 + "' != '" + "Illegal" + "'", str24.equals("Illegal")); org.junit.Assert.assertNotNull(long_array25); org.junit.Assert.assertTrue(b26 == false); } @Test public void test09() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test09"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; triangle26.lborderB = (short) 0; Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; java.lang.String str35 = triangle26.getType(triangle33); boolean b36 = triangle13.isTriangle(triangle33); java.lang.String str37 = triangle3.getType(triangle13); triangle3.lborderC = (byte) 0; long long40 = triangle3.lborderC; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue("'" + str35 + "' != '" + "Illegal" + "'", str35.equals("Illegal")); org.junit.Assert.assertTrue(b36 == false); org.junit.Assert.assertTrue("'" + str37 + "' != '" + "Illegal" + "'", str37.equals("Illegal")); org.junit.Assert.assertTrue(long40 == 0L); } @Test public void test10() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test10"); Triangle triangle3 = new Triangle((long) (byte) 1, (long) (short) 100, (long) (-1)); long[] long_array4 = triangle3.getBorders(); org.junit.Assert.assertNotNull(long_array4); } @Test public void test11() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test11"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); long long13 = triangle10.lborderC; long long14 = triangle10.lborderC; triangle10.lborderC = (-1L); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long13 == 10L); org.junit.Assert.assertTrue(long14 == 10L); } @Test public void test12() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test12"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); long long28 = triangle9.diffOfBorders((long) '#', (long) (byte) 1); org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long28 == 34L); } @Test public void test13() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test13"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((-1L), (-1L), 0L); Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; boolean b22 = triangle16.isTriangle(triangle20); triangle20.lborderB = (byte) 100; long long27 = triangle20.diffOfBorders((long) (-1), (long) (byte) -1); boolean b28 = triangle3.isTriangle(triangle20); triangle20.lborderC = 0L; long long31 = triangle20.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue(b22 == false); org.junit.Assert.assertTrue(long27 == 0L); org.junit.Assert.assertTrue(b28 == false); org.junit.Assert.assertTrue(long31 == (-1L)); } @Test public void test14() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test14"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); long long23 = triangle20.lborderC; java.lang.String str24 = triangle9.getType(triangle20); long[] long_array25 = triangle9.getBorders(); boolean b26 = triangle3.isTriangle(triangle9); long long27 = triangle9.lborderB; org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long23 == 10L); org.junit.Assert.assertTrue("'" + str24 + "' != '" + "Illegal" + "'", str24.equals("Illegal")); org.junit.Assert.assertNotNull(long_array25); org.junit.Assert.assertTrue(b26 == false); org.junit.Assert.assertTrue(long27 == (-1L)); } @Test public void test15() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test15"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); long long12 = triangle7.diffOfBorders((long) (byte) 1, (long) (byte) 10); long long13 = triangle7.lborderB; triangle7.lborderC = 1; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == 9L); org.junit.Assert.assertTrue(long13 == 100L); } @Test public void test16() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test16"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle7.lborderB = (byte) 100; long long14 = triangle7.diffOfBorders((long) (-1), (long) (byte) -1); Triangle triangle18 = new Triangle(100L, 10L, (long) (short) -1); triangle18.lborderB = (byte) -1; boolean b21 = triangle7.isTriangle(triangle18); Triangle triangle25 = new Triangle((-1L), (-1L), 0L); triangle25.lborderA = 1; Triangle triangle31 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long32 = triangle31.lborderA; triangle31.lborderB = (short) 0; long long37 = triangle31.diffOfBorders((long) 100, (long) (short) 1); long long38 = triangle31.lborderA; java.lang.String str39 = triangle25.getType(triangle31); java.lang.String str40 = triangle18.getType(triangle25); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == 0L); org.junit.Assert.assertTrue(b21 == false); org.junit.Assert.assertTrue(long32 == (-1L)); org.junit.Assert.assertTrue(long37 == 99L); org.junit.Assert.assertTrue(long38 == (-1L)); org.junit.Assert.assertTrue("'" + str39 + "' != '" + "Illegal" + "'", str39.equals("Illegal")); org.junit.Assert.assertTrue("'" + str40 + "' != '" + "Illegal" + "'", str40.equals("Illegal")); } @Test public void test17() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test17"); Triangle triangle3 = new Triangle((long) (byte) 1, (long) (short) 100, (long) (-1)); triangle3.lborderB = (byte) 10; long long6 = triangle3.lborderA; org.junit.Assert.assertTrue(long6 == 1L); } @Test public void test18() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test18"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); long[] long_array18 = triangle3.getBorders(); triangle3.lborderA = 0L; org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertNotNull(long_array18); } @Test public void test19() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test19"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle3.lborderA = 100; long long12 = triangle3.lborderB; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == (-1L)); } @Test public void test20() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test20"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((-1L), (-1L), 0L); Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; boolean b22 = triangle16.isTriangle(triangle20); triangle20.lborderB = (byte) 100; long long27 = triangle20.diffOfBorders((long) (-1), (long) (byte) -1); boolean b28 = triangle3.isTriangle(triangle20); triangle20.lborderA = 1; long long31 = triangle20.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue(b22 == false); org.junit.Assert.assertTrue(long27 == 0L); org.junit.Assert.assertTrue(b28 == false); org.junit.Assert.assertTrue(long31 == 1L); } @Test public void test21() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test21"); Triangle triangle3 = new Triangle(100L, 10L, (long) (short) -1); triangle3.lborderB = (byte) -1; long long8 = triangle3.diffOfBorders((-1L), (long) 10); Triangle triangle12 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long13 = triangle12.lborderA; triangle12.lborderB = (short) 0; Triangle triangle19 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long20 = triangle19.lborderA; java.lang.String str21 = triangle12.getType(triangle19); Triangle triangle25 = new Triangle((-1L), (-1L), 0L); Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; boolean b31 = triangle25.isTriangle(triangle29); triangle29.lborderB = (byte) 100; long long36 = triangle29.diffOfBorders((long) (-1), (long) (byte) -1); boolean b37 = triangle12.isTriangle(triangle29); boolean b38 = triangle3.isTriangle(triangle29); org.junit.Assert.assertTrue(long8 == 11L); org.junit.Assert.assertTrue(long13 == (-1L)); org.junit.Assert.assertTrue(long20 == (-1L)); org.junit.Assert.assertTrue("'" + str21 + "' != '" + "Illegal" + "'", str21.equals("Illegal")); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue(b31 == false); org.junit.Assert.assertTrue(long36 == 0L); org.junit.Assert.assertTrue(b37 == false); org.junit.Assert.assertTrue(b38 == false); } @Test public void test22() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test22"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long long6 = triangle3.lborderB; triangle3.lborderA = (short) 1; org.junit.Assert.assertTrue(long6 == (-1L)); } @Test public void test23() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test23"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; Triangle triangle14 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long15 = triangle14.lborderA; java.lang.String str16 = triangle7.getType(triangle14); long long17 = triangle14.lborderC; java.lang.String str18 = triangle3.getType(triangle14); long long19 = triangle3.lborderC; long[] long_array20 = triangle3.getBorders(); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue("'" + str16 + "' != '" + "Illegal" + "'", str16.equals("Illegal")); org.junit.Assert.assertTrue(long17 == 10L); org.junit.Assert.assertTrue("'" + str18 + "' != '" + "Illegal" + "'", str18.equals("Illegal")); org.junit.Assert.assertTrue(long19 == 0L); org.junit.Assert.assertNotNull(long_array20); } @Test public void test24() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test24"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); long[] long_array18 = triangle3.getBorders(); long long19 = triangle3.lborderC; org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertNotNull(long_array18); org.junit.Assert.assertTrue(long19 == 0L); } @Test public void test25() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test25"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long[] long_array6 = triangle3.getBorders(); Triangle triangle10 = new Triangle(100L, 10L, (long) (short) -1); triangle10.lborderB = (byte) -1; java.lang.String str13 = triangle3.getType(triangle10); Triangle triangle17 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long18 = triangle17.lborderA; triangle17.lborderB = (short) 0; long long23 = triangle17.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle27 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long28 = triangle27.lborderA; triangle27.lborderB = (short) 0; Triangle triangle34 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long35 = triangle34.lborderA; java.lang.String str36 = triangle27.getType(triangle34); Triangle triangle40 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long41 = triangle40.lborderA; triangle40.lborderB = (short) 0; Triangle triangle47 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long48 = triangle47.lborderA; java.lang.String str49 = triangle40.getType(triangle47); boolean b50 = triangle27.isTriangle(triangle47); java.lang.String str51 = triangle17.getType(triangle27); long long52 = triangle17.lborderB; boolean b53 = triangle10.isTriangle(triangle17); org.junit.Assert.assertNotNull(long_array6); org.junit.Assert.assertTrue("'" + str13 + "' != '" + "Illegal" + "'", str13.equals("Illegal")); org.junit.Assert.assertTrue(long18 == (-1L)); org.junit.Assert.assertTrue(long23 == 99L); org.junit.Assert.assertTrue(long28 == (-1L)); org.junit.Assert.assertTrue(long35 == (-1L)); org.junit.Assert.assertTrue("'" + str36 + "' != '" + "Illegal" + "'", str36.equals("Illegal")); org.junit.Assert.assertTrue(long41 == (-1L)); org.junit.Assert.assertTrue(long48 == (-1L)); org.junit.Assert.assertTrue("'" + str49 + "' != '" + "Illegal" + "'", str49.equals("Illegal")); org.junit.Assert.assertTrue(b50 == false); org.junit.Assert.assertTrue("'" + str51 + "' != '" + "Illegal" + "'", str51.equals("Illegal")); org.junit.Assert.assertTrue(long52 == 0L); org.junit.Assert.assertTrue(b53 == false); } @Test public void test26() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test26"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; triangle26.lborderB = (short) 0; Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; java.lang.String str35 = triangle26.getType(triangle33); boolean b36 = triangle13.isTriangle(triangle33); java.lang.String str37 = triangle3.getType(triangle13); triangle3.lborderC = '#'; triangle3.lborderC = 0L; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue("'" + str35 + "' != '" + "Illegal" + "'", str35.equals("Illegal")); org.junit.Assert.assertTrue(b36 == false); org.junit.Assert.assertTrue("'" + str37 + "' != '" + "Illegal" + "'", str37.equals("Illegal")); } @Test public void test27() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test27"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long[] long_array6 = triangle3.getBorders(); Triangle triangle10 = new Triangle(100L, 10L, (long) (short) -1); triangle10.lborderB = (byte) -1; java.lang.String str13 = triangle3.getType(triangle10); long long16 = triangle10.diffOfBorders((long) (byte) -1, (long) 0); triangle10.lborderC = 0L; org.junit.Assert.assertNotNull(long_array6); org.junit.Assert.assertTrue("'" + str13 + "' != '" + "Illegal" + "'", str13.equals("Illegal")); org.junit.Assert.assertTrue(long16 == 1L); } @Test public void test28() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test28"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; triangle26.lborderB = (short) 0; Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; java.lang.String str35 = triangle26.getType(triangle33); boolean b36 = triangle13.isTriangle(triangle33); java.lang.String str37 = triangle3.getType(triangle13); long long38 = triangle3.lborderB; long long41 = triangle3.diffOfBorders(10L, (long) 'a'); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue("'" + str35 + "' != '" + "Illegal" + "'", str35.equals("Illegal")); org.junit.Assert.assertTrue(b36 == false); org.junit.Assert.assertTrue("'" + str37 + "' != '" + "Illegal" + "'", str37.equals("Illegal")); org.junit.Assert.assertTrue(long38 == 0L); org.junit.Assert.assertTrue(long41 == 87L); } @Test public void test29() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test29"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle7.lborderB = (byte) 100; long long14 = triangle7.diffOfBorders((long) (-1), (long) (byte) -1); long long15 = triangle7.lborderC; triangle7.lborderC = (short) -1; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == 0L); org.junit.Assert.assertTrue(long15 == 10L); } @Test public void test30() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test30"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle3.lborderA = ' '; Triangle triangle15 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long16 = triangle15.lborderA; triangle15.lborderB = (short) 0; long long21 = triangle15.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle25 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long26 = triangle25.lborderA; triangle25.lborderB = (short) 0; Triangle triangle32 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long33 = triangle32.lborderA; java.lang.String str34 = triangle25.getType(triangle32); Triangle triangle38 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long39 = triangle38.lborderA; triangle38.lborderB = (short) 0; Triangle triangle45 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long46 = triangle45.lborderA; java.lang.String str47 = triangle38.getType(triangle45); boolean b48 = triangle25.isTriangle(triangle45); java.lang.String str49 = triangle15.getType(triangle25); boolean b50 = triangle3.isTriangle(triangle15); Triangle triangle54 = new Triangle((long) (byte) -1, (long) (short) 1, (-1L)); Triangle triangle58 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long59 = triangle58.lborderA; triangle58.lborderB = (short) 0; long long64 = triangle58.diffOfBorders((long) 100, (long) (short) 1); java.lang.String str65 = triangle54.getType(triangle58); boolean b66 = triangle15.isTriangle(triangle58); triangle58.lborderB = (byte) 0; triangle58.lborderA = 100; long long71 = triangle58.lborderC; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue(long21 == 99L); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertTrue(long33 == (-1L)); org.junit.Assert.assertTrue("'" + str34 + "' != '" + "Illegal" + "'", str34.equals("Illegal")); org.junit.Assert.assertTrue(long39 == (-1L)); org.junit.Assert.assertTrue(long46 == (-1L)); org.junit.Assert.assertTrue("'" + str47 + "' != '" + "Illegal" + "'", str47.equals("Illegal")); org.junit.Assert.assertTrue(b48 == false); org.junit.Assert.assertTrue("'" + str49 + "' != '" + "Illegal" + "'", str49.equals("Illegal")); org.junit.Assert.assertTrue(b50 == false); org.junit.Assert.assertTrue(long59 == (-1L)); org.junit.Assert.assertTrue(long64 == 99L); org.junit.Assert.assertTrue("'" + str65 + "' != '" + "Illegal" + "'", str65.equals("Illegal")); org.junit.Assert.assertTrue(b66 == false); org.junit.Assert.assertTrue(long71 == 10L); } @Test public void test31() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test31"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); long long26 = triangle13.diffOfBorders((long) 0, 34L); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); org.junit.Assert.assertTrue(long26 == 34L); } @Test public void test32() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test32"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); long long13 = triangle10.lborderC; long long14 = triangle10.lborderC; long long15 = triangle10.lborderA; long long16 = triangle10.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long13 == 10L); org.junit.Assert.assertTrue(long14 == 10L); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue(long16 == (-1L)); } @Test public void test33() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test33"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((-1L), (-1L), 0L); Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; boolean b22 = triangle16.isTriangle(triangle20); triangle20.lborderB = (byte) 100; long long27 = triangle20.diffOfBorders((long) (-1), (long) (byte) -1); boolean b28 = triangle3.isTriangle(triangle20); triangle20.lborderA = (-1L); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue(b22 == false); org.junit.Assert.assertTrue(long27 == 0L); org.junit.Assert.assertTrue(b28 == false); } @Test public void test34() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test34"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); triangle3.lborderB = 10; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); } @Test public void test35() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test35"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; boolean b15 = triangle9.isTriangle(triangle13); Triangle triangle19 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long20 = triangle19.lborderA; triangle19.lborderB = (short) 0; Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; java.lang.String str28 = triangle19.getType(triangle26); java.lang.String str29 = triangle9.getType(triangle19); java.lang.String str30 = triangle3.getType(triangle9); long[] long_array31 = triangle9.getBorders(); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(b15 == false); org.junit.Assert.assertTrue(long20 == (-1L)); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue("'" + str28 + "' != '" + "Illegal" + "'", str28.equals("Illegal")); org.junit.Assert.assertTrue("'" + str29 + "' != '" + "Illegal" + "'", str29.equals("Illegal")); org.junit.Assert.assertTrue("'" + str30 + "' != '" + "Illegal" + "'", str30.equals("Illegal")); org.junit.Assert.assertNotNull(long_array31); } @Test public void test36() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test36"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); long long23 = triangle20.lborderC; java.lang.String str24 = triangle9.getType(triangle20); java.lang.String str25 = triangle3.getType(triangle9); long long28 = triangle9.diffOfBorders((long) '#', 1L); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long23 == 10L); org.junit.Assert.assertTrue("'" + str24 + "' != '" + "Illegal" + "'", str24.equals("Illegal")); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long28 == 34L); } @Test public void test37() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test37"); Triangle triangle3 = new Triangle((long) (byte) 1, (long) (short) 100, (long) (-1)); long long4 = triangle3.lborderA; org.junit.Assert.assertTrue(long4 == 1L); } @Test public void test38() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test38"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); long long26 = triangle21.lborderA; Triangle triangle30 = new Triangle((-1L), (-1L), 0L); triangle30.lborderA = 1; long[] long_array33 = triangle30.getBorders(); Triangle triangle37 = new Triangle(100L, 10L, (long) (short) -1); triangle37.lborderB = (byte) -1; java.lang.String str40 = triangle30.getType(triangle37); long long43 = triangle37.diffOfBorders((long) (byte) -1, (long) 0); java.lang.String str44 = triangle21.getType(triangle37); org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertNotNull(long_array33); org.junit.Assert.assertTrue("'" + str40 + "' != '" + "Illegal" + "'", str40.equals("Illegal")); org.junit.Assert.assertTrue(long43 == 1L); org.junit.Assert.assertTrue("'" + str44 + "' != '" + "Illegal" + "'", str44.equals("Illegal")); } @Test public void test39() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test39"); Triangle triangle3 = new Triangle((long) 'a', (long) (byte) 10, (long) 1); } @Test public void test40() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test40"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); long long10 = triangle7.lborderA; long long11 = triangle7.lborderB; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long11 == 100L); } @Test public void test41() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test41"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); triangle13.lborderC = 1; Triangle triangle29 = new Triangle((-1L), (-1L), 0L); Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; boolean b35 = triangle29.isTriangle(triangle33); triangle33.lborderB = (byte) 100; long long40 = triangle33.diffOfBorders((long) (-1), (long) (byte) -1); long[] long_array41 = triangle33.getBorders(); boolean b42 = triangle13.isTriangle(triangle33); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue(b35 == false); org.junit.Assert.assertTrue(long40 == 0L); org.junit.Assert.assertNotNull(long_array41); org.junit.Assert.assertTrue(b42 == false); } @Test public void test42() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test42"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); long long6 = triangle3.diffOfBorders(100L, 0L); org.junit.Assert.assertTrue(long6 == 100L); } @Test public void test43() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test43"); Triangle triangle3 = new Triangle(100L, (long) (byte) 10, 99L); } @Test public void test44() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test44"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); triangle3.lborderB = 9L; long long12 = triangle3.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); org.junit.Assert.assertTrue(long12 == (-1L)); } @Test public void test45() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test45"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle3.lborderA = ' '; long long12 = triangle3.lborderB; long[] long_array13 = triangle3.getBorders(); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == (-1L)); org.junit.Assert.assertNotNull(long_array13); } @Test public void test46() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test46"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; triangle16.lborderB = (short) 0; Triangle triangle23 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long24 = triangle23.lborderA; java.lang.String str25 = triangle16.getType(triangle23); Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; triangle29.lborderB = (short) 0; Triangle triangle36 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long37 = triangle36.lborderA; java.lang.String str38 = triangle29.getType(triangle36); boolean b39 = triangle16.isTriangle(triangle36); boolean b40 = triangle10.isTriangle(triangle16); long long43 = triangle10.diffOfBorders((long) 100, (long) (byte) 10); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(long24 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue(long37 == (-1L)); org.junit.Assert.assertTrue("'" + str38 + "' != '" + "Illegal" + "'", str38.equals("Illegal")); org.junit.Assert.assertTrue(b39 == false); org.junit.Assert.assertTrue(b40 == false); org.junit.Assert.assertTrue(long43 == 90L); } @Test public void test47() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test47"); Triangle triangle3 = new Triangle(0L, (long) (short) 10, (long) (byte) -1); } @Test public void test48() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test48"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); triangle9.lborderB = (short) 1; org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); } @Test public void test49() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test49"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); long long12 = triangle7.diffOfBorders((long) (byte) 1, (long) (byte) 10); long long13 = triangle7.lborderB; Triangle triangle17 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long18 = triangle17.lborderA; java.lang.String str19 = triangle7.getType(triangle17); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == 9L); org.junit.Assert.assertTrue(long13 == 100L); org.junit.Assert.assertTrue(long18 == (-1L)); org.junit.Assert.assertTrue("'" + str19 + "' != '" + "Illegal" + "'", str19.equals("Illegal")); } @Test public void test50() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test50"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); long long26 = triangle21.lborderA; long[] long_array27 = triangle21.getBorders(); long long28 = triangle21.lborderA; Triangle triangle29 = null; try { java.lang.String str30 = triangle21.getType(triangle29); org.junit.Assert.fail("Expected exception of type java.lang.NullPointerException"); } catch (java.lang.NullPointerException e) { } org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertNotNull(long_array27); org.junit.Assert.assertTrue(long28 == (-1L)); } @Test public void test51() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test51"); Triangle triangle3 = new Triangle((long) (byte) 1, (long) (short) 100, (long) (-1)); triangle3.lborderB = (byte) 10; long long6 = triangle3.lborderB; triangle3.lborderB = 99L; org.junit.Assert.assertTrue(long6 == 10L); } @Test public void test52() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test52"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; Triangle triangle14 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long15 = triangle14.lborderA; java.lang.String str16 = triangle7.getType(triangle14); long long17 = triangle14.lborderC; java.lang.String str18 = triangle3.getType(triangle14); long[] long_array19 = triangle3.getBorders(); triangle3.lborderA = (short) 100; Triangle triangle25 = new Triangle((-1L), (-1L), 0L); Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; boolean b31 = triangle25.isTriangle(triangle29); triangle29.lborderC = 0L; boolean b34 = triangle3.isTriangle(triangle29); Triangle triangle38 = new Triangle((-1L), (-1L), 0L); triangle38.lborderA = 1; boolean b41 = triangle3.isTriangle(triangle38); long long42 = triangle3.lborderC; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue("'" + str16 + "' != '" + "Illegal" + "'", str16.equals("Illegal")); org.junit.Assert.assertTrue(long17 == 10L); org.junit.Assert.assertTrue("'" + str18 + "' != '" + "Illegal" + "'", str18.equals("Illegal")); org.junit.Assert.assertNotNull(long_array19); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue(b31 == false); org.junit.Assert.assertTrue(b34 == false); org.junit.Assert.assertTrue(b41 == false); org.junit.Assert.assertTrue(long42 == 0L); } @Test public void test53() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test53"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); triangle3.lborderA = (-1L); long long15 = triangle3.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long15 == (-1L)); } @Test public void test54() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test54"); Triangle triangle3 = new Triangle((long) ' ', 10L, 25L); } @Test public void test55() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test55"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; triangle21.lborderC = '#'; java.lang.String str27 = triangle3.getType(triangle21); Triangle triangle31 = new Triangle((-1L), (-1L), 0L); triangle31.lborderA = 1; Triangle triangle37 = new Triangle((-1L), (-1L), 0L); Triangle triangle41 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long42 = triangle41.lborderA; boolean b43 = triangle37.isTriangle(triangle41); Triangle triangle47 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long48 = triangle47.lborderA; triangle47.lborderB = (short) 0; Triangle triangle54 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long55 = triangle54.lborderA; java.lang.String str56 = triangle47.getType(triangle54); java.lang.String str57 = triangle37.getType(triangle47); java.lang.String str58 = triangle31.getType(triangle37); long long61 = triangle31.diffOfBorders(34L, 9L); boolean b62 = triangle21.isTriangle(triangle31); org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str27 + "' != '" + "Illegal" + "'", str27.equals("Illegal")); org.junit.Assert.assertTrue(long42 == (-1L)); org.junit.Assert.assertTrue(b43 == false); org.junit.Assert.assertTrue(long48 == (-1L)); org.junit.Assert.assertTrue(long55 == (-1L)); org.junit.Assert.assertTrue("'" + str56 + "' != '" + "Illegal" + "'", str56.equals("Illegal")); org.junit.Assert.assertTrue("'" + str57 + "' != '" + "Illegal" + "'", str57.equals("Illegal")); org.junit.Assert.assertTrue("'" + str58 + "' != '" + "Illegal" + "'", str58.equals("Illegal")); org.junit.Assert.assertTrue(long61 == 25L); org.junit.Assert.assertTrue(b62 == false); } @Test public void test56() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test56"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; Triangle triangle14 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long15 = triangle14.lborderA; java.lang.String str16 = triangle7.getType(triangle14); long long17 = triangle14.lborderC; java.lang.String str18 = triangle3.getType(triangle14); long long19 = triangle3.lborderA; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue("'" + str16 + "' != '" + "Illegal" + "'", str16.equals("Illegal")); org.junit.Assert.assertTrue(long17 == 10L); org.junit.Assert.assertTrue("'" + str18 + "' != '" + "Illegal" + "'", str18.equals("Illegal")); org.junit.Assert.assertTrue(long19 == (-1L)); } @Test public void test57() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test57"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); long long23 = triangle20.lborderC; java.lang.String str24 = triangle9.getType(triangle20); java.lang.String str25 = triangle3.getType(triangle9); triangle9.lborderA = (-1); long long28 = triangle9.lborderB; org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long23 == 10L); org.junit.Assert.assertTrue("'" + str24 + "' != '" + "Illegal" + "'", str24.equals("Illegal")); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long28 == (-1L)); } @Test public void test58() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test58"); Triangle triangle3 = new Triangle(10L, (long) '#', (long) 10); } @Test public void test59() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test59"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((-1L), (-1L), 0L); Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; boolean b22 = triangle16.isTriangle(triangle20); triangle20.lborderB = (byte) 100; long long27 = triangle20.diffOfBorders((long) (-1), (long) (byte) -1); boolean b28 = triangle3.isTriangle(triangle20); long long29 = triangle3.lborderC; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue(b22 == false); org.junit.Assert.assertTrue(long27 == 0L); org.junit.Assert.assertTrue(b28 == false); org.junit.Assert.assertTrue(long29 == 10L); } @Test public void test60() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test60"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; triangle3.lborderC = '#'; Triangle triangle12 = new Triangle((-1L), (-1L), 0L); triangle12.lborderA = 1; Triangle triangle18 = new Triangle((-1L), (-1L), 0L); Triangle triangle22 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long23 = triangle22.lborderA; triangle22.lborderB = (short) 0; Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; java.lang.String str31 = triangle22.getType(triangle29); long long32 = triangle29.lborderC; java.lang.String str33 = triangle18.getType(triangle29); long[] long_array34 = triangle18.getBorders(); boolean b35 = triangle12.isTriangle(triangle18); java.lang.String str36 = triangle3.getType(triangle12); long long37 = triangle3.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long23 == (-1L)); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue("'" + str31 + "' != '" + "Illegal" + "'", str31.equals("Illegal")); org.junit.Assert.assertTrue(long32 == 10L); org.junit.Assert.assertTrue("'" + str33 + "' != '" + "Illegal" + "'", str33.equals("Illegal")); org.junit.Assert.assertNotNull(long_array34); org.junit.Assert.assertTrue(b35 == false); org.junit.Assert.assertTrue("'" + str36 + "' != '" + "Illegal" + "'", str36.equals("Illegal")); org.junit.Assert.assertTrue(long37 == (-1L)); } @Test public void test61() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test61"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); long[] long_array24 = triangle3.getBorders(); long long25 = triangle3.lborderC; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); org.junit.Assert.assertNotNull(long_array24); org.junit.Assert.assertTrue(long25 == 0L); } @Test public void test62() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test62"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; triangle3.lborderC = '#'; long long9 = triangle3.lborderC; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 35L); } @Test public void test63() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test63"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; triangle3.lborderC = '#'; Triangle triangle12 = new Triangle((-1L), (-1L), 0L); triangle12.lborderA = 1; Triangle triangle18 = new Triangle((-1L), (-1L), 0L); Triangle triangle22 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long23 = triangle22.lborderA; triangle22.lborderB = (short) 0; Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; java.lang.String str31 = triangle22.getType(triangle29); long long32 = triangle29.lborderC; java.lang.String str33 = triangle18.getType(triangle29); long[] long_array34 = triangle18.getBorders(); boolean b35 = triangle12.isTriangle(triangle18); java.lang.String str36 = triangle3.getType(triangle12); triangle3.lborderA = 100; Triangle triangle42 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long43 = triangle42.lborderA; triangle42.lborderB = (short) 0; Triangle triangle49 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long50 = triangle49.lborderA; java.lang.String str51 = triangle42.getType(triangle49); long long52 = triangle49.lborderC; long long53 = triangle49.lborderC; long long54 = triangle49.lborderA; boolean b55 = triangle3.isTriangle(triangle49); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long23 == (-1L)); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue("'" + str31 + "' != '" + "Illegal" + "'", str31.equals("Illegal")); org.junit.Assert.assertTrue(long32 == 10L); org.junit.Assert.assertTrue("'" + str33 + "' != '" + "Illegal" + "'", str33.equals("Illegal")); org.junit.Assert.assertNotNull(long_array34); org.junit.Assert.assertTrue(b35 == false); org.junit.Assert.assertTrue("'" + str36 + "' != '" + "Illegal" + "'", str36.equals("Illegal")); org.junit.Assert.assertTrue(long43 == (-1L)); org.junit.Assert.assertTrue(long50 == (-1L)); org.junit.Assert.assertTrue("'" + str51 + "' != '" + "Illegal" + "'", str51.equals("Illegal")); org.junit.Assert.assertTrue(long52 == 10L); org.junit.Assert.assertTrue(long53 == 10L); org.junit.Assert.assertTrue(long54 == (-1L)); org.junit.Assert.assertTrue(b55 == false); } @Test public void test64() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test64"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long[] long_array6 = triangle3.getBorders(); Triangle triangle10 = new Triangle(100L, 10L, (long) (short) -1); triangle10.lborderB = (byte) -1; java.lang.String str13 = triangle3.getType(triangle10); Triangle triangle17 = new Triangle((-1L), (-1L), 0L); triangle17.lborderA = 1; long long20 = triangle17.lborderB; triangle17.lborderA = (byte) 1; Triangle triangle26 = new Triangle((-1L), (-1L), 0L); Triangle triangle30 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long31 = triangle30.lborderA; boolean b32 = triangle26.isTriangle(triangle30); boolean b33 = triangle17.isTriangle(triangle30); long long34 = triangle30.lborderC; boolean b35 = triangle10.isTriangle(triangle30); org.junit.Assert.assertNotNull(long_array6); org.junit.Assert.assertTrue("'" + str13 + "' != '" + "Illegal" + "'", str13.equals("Illegal")); org.junit.Assert.assertTrue(long20 == (-1L)); org.junit.Assert.assertTrue(long31 == (-1L)); org.junit.Assert.assertTrue(b32 == false); org.junit.Assert.assertTrue(b33 == false); org.junit.Assert.assertTrue(long34 == 10L); org.junit.Assert.assertTrue(b35 == false); } @Test public void test65() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test65"); Triangle triangle3 = new Triangle((long) (byte) -1, (long) (short) 1, (-1L)); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; triangle7.lborderB = (short) 0; long long13 = triangle7.diffOfBorders((long) 100, (long) (short) 1); java.lang.String str14 = triangle3.getType(triangle7); long long15 = triangle3.lborderC; long long18 = triangle3.diffOfBorders(87L, 25L); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(long13 == 99L); org.junit.Assert.assertTrue("'" + str14 + "' != '" + "Illegal" + "'", str14.equals("Illegal")); org.junit.Assert.assertTrue(long15 == (-1L)); org.junit.Assert.assertTrue(long18 == 62L); } @Test public void test66() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test66"); Triangle triangle3 = new Triangle(90L, (long) (short) 1, 9L); } @Test public void test67() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test67"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle3.lborderA = ' '; Triangle triangle15 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long16 = triangle15.lborderA; triangle15.lborderB = (short) 0; long long21 = triangle15.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle25 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long26 = triangle25.lborderA; triangle25.lborderB = (short) 0; Triangle triangle32 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long33 = triangle32.lborderA; java.lang.String str34 = triangle25.getType(triangle32); Triangle triangle38 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long39 = triangle38.lborderA; triangle38.lborderB = (short) 0; Triangle triangle45 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long46 = triangle45.lborderA; java.lang.String str47 = triangle38.getType(triangle45); boolean b48 = triangle25.isTriangle(triangle45); java.lang.String str49 = triangle15.getType(triangle25); boolean b50 = triangle3.isTriangle(triangle15); Triangle triangle54 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long55 = triangle54.lborderA; triangle54.lborderB = (short) 0; Triangle triangle61 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long62 = triangle61.lborderA; java.lang.String str63 = triangle54.getType(triangle61); Triangle triangle67 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long68 = triangle67.lborderA; triangle67.lborderB = (short) 0; Triangle triangle74 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long75 = triangle74.lborderA; java.lang.String str76 = triangle67.getType(triangle74); boolean b77 = triangle54.isTriangle(triangle74); java.lang.String str78 = triangle3.getType(triangle74); long long79 = triangle3.lborderC; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue(long21 == 99L); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertTrue(long33 == (-1L)); org.junit.Assert.assertTrue("'" + str34 + "' != '" + "Illegal" + "'", str34.equals("Illegal")); org.junit.Assert.assertTrue(long39 == (-1L)); org.junit.Assert.assertTrue(long46 == (-1L)); org.junit.Assert.assertTrue("'" + str47 + "' != '" + "Illegal" + "'", str47.equals("Illegal")); org.junit.Assert.assertTrue(b48 == false); org.junit.Assert.assertTrue("'" + str49 + "' != '" + "Illegal" + "'", str49.equals("Illegal")); org.junit.Assert.assertTrue(b50 == false); org.junit.Assert.assertTrue(long55 == (-1L)); org.junit.Assert.assertTrue(long62 == (-1L)); org.junit.Assert.assertTrue("'" + str63 + "' != '" + "Illegal" + "'", str63.equals("Illegal")); org.junit.Assert.assertTrue(long68 == (-1L)); org.junit.Assert.assertTrue(long75 == (-1L)); org.junit.Assert.assertTrue("'" + str76 + "' != '" + "Illegal" + "'", str76.equals("Illegal")); org.junit.Assert.assertTrue(b77 == false); org.junit.Assert.assertTrue("'" + str78 + "' != '" + "Illegal" + "'", str78.equals("Illegal")); org.junit.Assert.assertTrue(long79 == 0L); } @Test public void test68() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test68"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle7.lborderB = (byte) 100; long[] long_array12 = triangle7.getBorders(); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertNotNull(long_array12); } @Test public void test69() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test69"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; triangle21.lborderC = '#'; java.lang.String str27 = triangle3.getType(triangle21); Triangle triangle31 = new Triangle((-1L), (-1L), 0L); Triangle triangle35 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long36 = triangle35.lborderA; triangle35.lborderB = (short) 0; Triangle triangle42 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long43 = triangle42.lborderA; java.lang.String str44 = triangle35.getType(triangle42); long long45 = triangle42.lborderC; java.lang.String str46 = triangle31.getType(triangle42); long[] long_array47 = triangle31.getBorders(); triangle31.lborderA = (short) 100; Triangle triangle53 = new Triangle((-1L), (-1L), 0L); Triangle triangle57 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long58 = triangle57.lborderA; boolean b59 = triangle53.isTriangle(triangle57); triangle57.lborderC = 0L; boolean b62 = triangle31.isTriangle(triangle57); Triangle triangle66 = new Triangle(100L, 10L, (long) (short) -1); triangle66.lborderB = (byte) -1; boolean b69 = triangle31.isTriangle(triangle66); boolean b70 = triangle3.isTriangle(triangle66); Triangle triangle74 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long75 = triangle74.lborderA; triangle74.lborderB = (short) 0; Triangle triangle81 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long82 = triangle81.lborderA; java.lang.String str83 = triangle74.getType(triangle81); long long84 = triangle81.lborderC; long long85 = triangle81.lborderC; java.lang.String str86 = triangle66.getType(triangle81); org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str27 + "' != '" + "Illegal" + "'", str27.equals("Illegal")); org.junit.Assert.assertTrue(long36 == (-1L)); org.junit.Assert.assertTrue(long43 == (-1L)); org.junit.Assert.assertTrue("'" + str44 + "' != '" + "Illegal" + "'", str44.equals("Illegal")); org.junit.Assert.assertTrue(long45 == 10L); org.junit.Assert.assertTrue("'" + str46 + "' != '" + "Illegal" + "'", str46.equals("Illegal")); org.junit.Assert.assertNotNull(long_array47); org.junit.Assert.assertTrue(long58 == (-1L)); org.junit.Assert.assertTrue(b59 == false); org.junit.Assert.assertTrue(b62 == false); org.junit.Assert.assertTrue(b69 == false); org.junit.Assert.assertTrue(b70 == false); org.junit.Assert.assertTrue(long75 == (-1L)); org.junit.Assert.assertTrue(long82 == (-1L)); org.junit.Assert.assertTrue("'" + str83 + "' != '" + "Illegal" + "'", str83.equals("Illegal")); org.junit.Assert.assertTrue(long84 == 10L); org.junit.Assert.assertTrue(long85 == 10L); org.junit.Assert.assertTrue("'" + str86 + "' != '" + "Illegal" + "'", str86.equals("Illegal")); } @Test public void test70() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test70"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); triangle13.lborderC = 1; long long26 = triangle13.lborderA; triangle13.lborderA = 25L; long long29 = triangle13.lborderB; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertTrue(long29 == 0L); } @Test public void test71() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test71"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long long6 = triangle3.lborderB; triangle3.lborderA = (byte) 1; Triangle triangle12 = new Triangle((-1L), (-1L), 0L); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; boolean b18 = triangle12.isTriangle(triangle16); boolean b19 = triangle3.isTriangle(triangle16); long long20 = triangle16.lborderB; long long21 = triangle16.lborderB; org.junit.Assert.assertTrue(long6 == (-1L)); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(b18 == false); org.junit.Assert.assertTrue(b19 == false); org.junit.Assert.assertTrue(long20 == 100L); org.junit.Assert.assertTrue(long21 == 100L); } @Test public void test72() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test72"); Triangle triangle3 = new Triangle(100L, (long) 0, 34L); long long6 = triangle3.diffOfBorders((long) (short) -1, (long) 0); long long7 = triangle3.lborderA; org.junit.Assert.assertTrue(long6 == 1L); org.junit.Assert.assertTrue(long7 == 100L); } @Test public void test73() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test73"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); java.lang.String str23 = triangle3.getType(triangle13); long long24 = triangle3.lborderB; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue("'" + str23 + "' != '" + "Illegal" + "'", str23.equals("Illegal")); org.junit.Assert.assertTrue(long24 == (-1L)); } @Test public void test74() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test74"); Triangle triangle3 = new Triangle(100L, 10L, (long) (short) -1); Triangle triangle7 = new Triangle((-1L), (-1L), 0L); Triangle triangle11 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long12 = triangle11.lborderA; triangle11.lborderB = (short) 0; Triangle triangle18 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long19 = triangle18.lborderA; java.lang.String str20 = triangle11.getType(triangle18); long long21 = triangle18.lborderC; java.lang.String str22 = triangle7.getType(triangle18); long[] long_array23 = triangle7.getBorders(); triangle7.lborderA = (short) 100; Triangle triangle29 = new Triangle((-1L), (-1L), 0L); Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; boolean b35 = triangle29.isTriangle(triangle33); triangle33.lborderC = 0L; boolean b38 = triangle7.isTriangle(triangle33); Triangle triangle42 = new Triangle(100L, 10L, (long) (short) -1); triangle42.lborderB = (byte) -1; boolean b45 = triangle7.isTriangle(triangle42); java.lang.String str46 = triangle3.getType(triangle7); org.junit.Assert.assertTrue(long12 == (-1L)); org.junit.Assert.assertTrue(long19 == (-1L)); org.junit.Assert.assertTrue("'" + str20 + "' != '" + "Illegal" + "'", str20.equals("Illegal")); org.junit.Assert.assertTrue(long21 == 10L); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertNotNull(long_array23); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue(b35 == false); org.junit.Assert.assertTrue(b38 == false); org.junit.Assert.assertTrue(b45 == false); org.junit.Assert.assertTrue("'" + str46 + "' != '" + "Illegal" + "'", str46.equals("Illegal")); } @Test public void test75() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test75"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); long long26 = triangle21.lborderA; long[] long_array27 = triangle21.getBorders(); long long28 = triangle21.lborderC; org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long26 == (-1L)); org.junit.Assert.assertNotNull(long_array27); org.junit.Assert.assertTrue(long28 == 10L); } @Test public void test76() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test76"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); long long12 = triangle3.diffOfBorders(35L, 34L); org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == 1L); } @Test public void test77() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test77"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long long6 = triangle3.lborderB; triangle3.lborderA = (byte) 1; Triangle triangle12 = new Triangle((-1L), (-1L), 0L); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; boolean b18 = triangle12.isTriangle(triangle16); boolean b19 = triangle3.isTriangle(triangle16); long long20 = triangle16.lborderC; long long21 = triangle16.lborderB; org.junit.Assert.assertTrue(long6 == (-1L)); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(b18 == false); org.junit.Assert.assertTrue(b19 == false); org.junit.Assert.assertTrue(long20 == 10L); org.junit.Assert.assertTrue(long21 == 100L); } @Test public void test78() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test78"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle7.lborderB = (byte) 100; long long14 = triangle7.diffOfBorders((long) (-1), (long) (byte) -1); long[] long_array15 = triangle7.getBorders(); triangle7.lborderA = (byte) 100; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long14 == 0L); org.junit.Assert.assertNotNull(long_array15); } @Test public void test79() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test79"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; triangle16.lborderB = (short) 0; Triangle triangle23 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long24 = triangle23.lborderA; java.lang.String str25 = triangle16.getType(triangle23); Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; triangle29.lborderB = (short) 0; Triangle triangle36 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long37 = triangle36.lborderA; java.lang.String str38 = triangle29.getType(triangle36); boolean b39 = triangle16.isTriangle(triangle36); boolean b40 = triangle10.isTriangle(triangle16); long long41 = triangle10.lborderB; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(long24 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue(long37 == (-1L)); org.junit.Assert.assertTrue("'" + str38 + "' != '" + "Illegal" + "'", str38.equals("Illegal")); org.junit.Assert.assertTrue(b39 == false); org.junit.Assert.assertTrue(b40 == false); org.junit.Assert.assertTrue(long41 == 100L); } @Test public void test80() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test80"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((-1L), (-1L), 0L); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; boolean b15 = triangle9.isTriangle(triangle13); Triangle triangle19 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long20 = triangle19.lborderA; triangle19.lborderB = (short) 0; Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; java.lang.String str28 = triangle19.getType(triangle26); java.lang.String str29 = triangle9.getType(triangle19); java.lang.String str30 = triangle3.getType(triangle9); long long33 = triangle3.diffOfBorders(34L, 9L); Triangle triangle37 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long38 = triangle37.lborderA; triangle37.lborderB = (short) 0; Triangle triangle44 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long45 = triangle44.lborderA; java.lang.String str46 = triangle37.getType(triangle44); long long47 = triangle44.lborderC; long long48 = triangle44.lborderC; boolean b49 = triangle3.isTriangle(triangle44); long long50 = triangle3.lborderC; org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(b15 == false); org.junit.Assert.assertTrue(long20 == (-1L)); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue("'" + str28 + "' != '" + "Illegal" + "'", str28.equals("Illegal")); org.junit.Assert.assertTrue("'" + str29 + "' != '" + "Illegal" + "'", str29.equals("Illegal")); org.junit.Assert.assertTrue("'" + str30 + "' != '" + "Illegal" + "'", str30.equals("Illegal")); org.junit.Assert.assertTrue(long33 == 25L); org.junit.Assert.assertTrue(long38 == (-1L)); org.junit.Assert.assertTrue(long45 == (-1L)); org.junit.Assert.assertTrue("'" + str46 + "' != '" + "Illegal" + "'", str46.equals("Illegal")); org.junit.Assert.assertTrue(long47 == 10L); org.junit.Assert.assertTrue(long48 == 10L); org.junit.Assert.assertTrue(b49 == false); org.junit.Assert.assertTrue(long50 == 0L); } @Test public void test81() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test81"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((-1L), (-1L), 0L); Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; boolean b22 = triangle16.isTriangle(triangle20); triangle20.lborderB = (byte) 100; long long27 = triangle20.diffOfBorders((long) (-1), (long) (byte) -1); boolean b28 = triangle3.isTriangle(triangle20); triangle20.lborderA = 1; triangle20.lborderB = (byte) -1; long long33 = triangle20.lborderC; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue(b22 == false); org.junit.Assert.assertTrue(long27 == 0L); org.junit.Assert.assertTrue(b28 == false); org.junit.Assert.assertTrue(long33 == 10L); } @Test public void test82() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test82"); Triangle triangle3 = new Triangle((long) (byte) 100, 9L, (long) 10); } @Test public void test83() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test83"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; long long9 = triangle3.diffOfBorders((long) 100, (long) (short) 1); Triangle triangle13 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long14 = triangle13.lborderA; triangle13.lborderB = (short) 0; Triangle triangle20 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long21 = triangle20.lborderA; java.lang.String str22 = triangle13.getType(triangle20); Triangle triangle26 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long27 = triangle26.lborderA; triangle26.lborderB = (short) 0; Triangle triangle33 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long34 = triangle33.lborderA; java.lang.String str35 = triangle26.getType(triangle33); boolean b36 = triangle13.isTriangle(triangle33); java.lang.String str37 = triangle3.getType(triangle13); long long38 = triangle3.lborderB; triangle3.lborderB = (-1); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long9 == 99L); org.junit.Assert.assertTrue(long14 == (-1L)); org.junit.Assert.assertTrue(long21 == (-1L)); org.junit.Assert.assertTrue("'" + str22 + "' != '" + "Illegal" + "'", str22.equals("Illegal")); org.junit.Assert.assertTrue(long27 == (-1L)); org.junit.Assert.assertTrue(long34 == (-1L)); org.junit.Assert.assertTrue("'" + str35 + "' != '" + "Illegal" + "'", str35.equals("Illegal")); org.junit.Assert.assertTrue(b36 == false); org.junit.Assert.assertTrue("'" + str37 + "' != '" + "Illegal" + "'", str37.equals("Illegal")); org.junit.Assert.assertTrue(long38 == 0L); } @Test public void test84() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test84"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; triangle16.lborderB = (short) 0; Triangle triangle23 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long24 = triangle23.lborderA; java.lang.String str25 = triangle16.getType(triangle23); Triangle triangle29 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long30 = triangle29.lborderA; triangle29.lborderB = (short) 0; Triangle triangle36 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long37 = triangle36.lborderA; java.lang.String str38 = triangle29.getType(triangle36); boolean b39 = triangle16.isTriangle(triangle36); boolean b40 = triangle10.isTriangle(triangle16); long long41 = triangle16.lborderA; org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(long24 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long30 == (-1L)); org.junit.Assert.assertTrue(long37 == (-1L)); org.junit.Assert.assertTrue("'" + str38 + "' != '" + "Illegal" + "'", str38.equals("Illegal")); org.junit.Assert.assertTrue(b39 == false); org.junit.Assert.assertTrue(b40 == false); org.junit.Assert.assertTrue(long41 == (-1L)); } @Test public void test85() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test85"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; long long6 = triangle3.lborderB; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; triangle10.lborderB = (short) 0; long long16 = triangle10.diffOfBorders((long) 100, (long) (short) 1); java.lang.String str17 = triangle3.getType(triangle10); Triangle triangle21 = new Triangle((-1L), (-1L), 0L); triangle21.lborderA = 1; Triangle triangle27 = new Triangle((-1L), (-1L), 0L); Triangle triangle31 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long32 = triangle31.lborderA; triangle31.lborderB = (short) 0; Triangle triangle38 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long39 = triangle38.lborderA; java.lang.String str40 = triangle31.getType(triangle38); long long41 = triangle38.lborderC; java.lang.String str42 = triangle27.getType(triangle38); long[] long_array43 = triangle27.getBorders(); boolean b44 = triangle21.isTriangle(triangle27); boolean b45 = triangle3.isTriangle(triangle27); org.junit.Assert.assertTrue(long6 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue(long16 == 99L); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long32 == (-1L)); org.junit.Assert.assertTrue(long39 == (-1L)); org.junit.Assert.assertTrue("'" + str40 + "' != '" + "Illegal" + "'", str40.equals("Illegal")); org.junit.Assert.assertTrue(long41 == 10L); org.junit.Assert.assertTrue("'" + str42 + "' != '" + "Illegal" + "'", str42.equals("Illegal")); org.junit.Assert.assertNotNull(long_array43); org.junit.Assert.assertTrue(b44 == false); org.junit.Assert.assertTrue(b45 == false); } @Test public void test86() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test86"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); triangle3.lborderA = 0L; long long8 = triangle3.diffOfBorders((long) (short) 0, 1L); org.junit.Assert.assertTrue(long8 == 1L); } @Test public void test87() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test87"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); long long12 = triangle7.diffOfBorders((long) (byte) 1, (long) (byte) 10); long long13 = triangle7.lborderB; triangle7.lborderA = (short) 100; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == 9L); org.junit.Assert.assertTrue(long13 == 100L); } @Test public void test88() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test88"); Triangle triangle3 = new Triangle((long) '4', (long) 10, (-1L)); } @Test public void test89() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test89"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); Triangle triangle7 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long8 = triangle7.lborderA; boolean b9 = triangle3.isTriangle(triangle7); triangle3.lborderA = ' '; long long12 = triangle3.lborderC; org.junit.Assert.assertTrue(long8 == (-1L)); org.junit.Assert.assertTrue(b9 == false); org.junit.Assert.assertTrue(long12 == 0L); } @Test public void test90() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test90"); Triangle triangle3 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long4 = triangle3.lborderA; triangle3.lborderB = (short) 0; Triangle triangle10 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long11 = triangle10.lborderA; java.lang.String str12 = triangle3.getType(triangle10); Triangle triangle16 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long17 = triangle16.lborderA; triangle16.lborderB = (short) 0; Triangle triangle23 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long24 = triangle23.lborderA; java.lang.String str25 = triangle16.getType(triangle23); boolean b26 = triangle3.isTriangle(triangle23); triangle23.lborderC = 1; long long31 = triangle23.diffOfBorders((long) (byte) -1, (long) '4'); org.junit.Assert.assertTrue(long4 == (-1L)); org.junit.Assert.assertTrue(long11 == (-1L)); org.junit.Assert.assertTrue("'" + str12 + "' != '" + "Illegal" + "'", str12.equals("Illegal")); org.junit.Assert.assertTrue(long17 == (-1L)); org.junit.Assert.assertTrue(long24 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(b26 == false); org.junit.Assert.assertTrue(long31 == 53L); } @Test public void test91() throws Throwable { if (debug) System.out.format("%n%s%n", "RegressionTest0.test91"); Triangle triangle3 = new Triangle((-1L), (-1L), 0L); triangle3.lborderA = 1; Triangle triangle9 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long10 = triangle9.lborderA; triangle9.lborderB = (short) 0; long long15 = triangle9.diffOfBorders((long) 100, (long) (short) 1); long long16 = triangle9.lborderA; java.lang.String str17 = triangle3.getType(triangle9); Triangle triangle21 = new Triangle((long) (short) -1, (long) 100, (long) (byte) 10); long long22 = triangle21.lborderA; triangle21.lborderB = (short) 0; java.lang.String str25 = triangle9.getType(triangle21); long long26 = triangle21.lborderC; org.junit.Assert.assertTrue(long10 == (-1L)); org.junit.Assert.assertTrue(long15 == 99L); org.junit.Assert.assertTrue(long16 == (-1L)); org.junit.Assert.assertTrue("'" + str17 + "' != '" + "Illegal" + "'", str17.equals("Illegal")); org.junit.Assert.assertTrue(long22 == (-1L)); org.junit.Assert.assertTrue("'" + str25 + "' != '" + "Illegal" + "'", str25.equals("Illegal")); org.junit.Assert.assertTrue(long26 == 10L); } }
(一共生成91个测试用例)
这个步骤可以自动化吗?答案是可以的,将在命令界面输入的命令写入bat文件,然后用java Runtime.exec在java代码中可以直接读取生成。
使用方法链接: http://www.cnblogs.com/mingforyou/p/3551199.html
2’其次,对源程序进行插桩(利用Javassist进行方法,语句插桩)得到文件(a.class,与原a.class文件不同,目录不在bin文件夹内);
3’利用Java Runtime.exec()方法对测试用例集文件进行编译得到tests.class文件。
(该方法使用方法博客网址: http://www.cnblogs.com/mingforyou/p/3551199.html )
运行tests.class查看每个测试用例插桩结果:
a 获取覆盖信息(覆盖哪些语句,方法)并导入一个txt文件中方便查看、
b 各个用例的覆盖率(方便用贪心算法和随机算法)、
c 各个用例的覆盖分布(覆盖于未覆盖),已覆盖矩阵的形式导入txt文件中,以便运用额外贪心算法进行排序。
并撰写收集报告(包含日期时间,源程序名称,测试用例集名称,以及该集合的覆盖率矩阵,操作时间等);
4‘排序(三种算法),读取上一个步骤形成的两个txt文件,对覆盖率或者覆盖分布矩阵进行排序;
5’收集排序结果,并撰写排序报告(包含日期时间,源程序名称,测试用例集名称,排序实现程序名称,测试用例集的覆盖分布,测试用例集的结果序列等)。