Fork me on GitHub

实例实现测试用例自动生成

自动化测试的整体步骤如下(目标为一个程序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’收集排序结果,并撰写排序报告(包含日期时间,源程序名称,测试用例集名称,排序实现程序名称,测试用例集的覆盖分布,测试用例集的结果序列等)。

posted @ 2017-12-13 09:02  sunwengang  阅读(8908)  评论(0编辑  收藏  举报