Program: 68892
Project: 68892
Buggy source:
@Test public void testType0(){
  test("String_Node_Str",TypeInt.con(5));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(0));
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(7));
  test("String_Node_Str",TypeInt.con(27));
  test("String_Node_Str",TypeInt.con(105));
  test("String_Node_Str",TypeFlt.make(0,64,4.6));
  test("String_Node_Str",TypeFlt.make(0,64,3.3));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeFlt.PI);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(-1));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(7));
  test("String_Node_Str",TypeInt.con(33));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(6));
  test("String_Node_Str",TypeInt.con(1 + 6 + 6 * 6));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.INT8);
  test("String_Node_Str",TypeInt.con(4));
  test("String_Node_Str",TypeInt.INT8);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.con(2));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(1));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.TRUE);
  test_isa("String_Node_Str",TypeTuple.FUNPTR2);
  test("String_Node_Str",TypeInt.con(5));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeInt.con(1));
  test("String_Node_Str",TypeFlt.con(3.14));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeFlt.make(0,64,Math.PI + 1));
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.con(2));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(5));
  test("String_Node_Str",TypeFlt.con(2.1 * 2.0));
  test("String_Node_Str",TypeFlt.con(2.1 * 2.0 + 3 * 2));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeFlt.make(0,64,3.3));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeFlt.con(2.1 * 2 + 3 * 2));
  test("String_Node_Str",TypeInt.con(123));
  test("String_Node_Str",TypeFlt.con(0.125));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(6));
}

Fixed version (ground truth):
@Test public void testType0(){
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(0));
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(7));
  test("String_Node_Str",TypeInt.con(27));
  test("String_Node_Str",TypeInt.con(105));
  test("String_Node_Str",TypeFlt.make(0,64,4.6));
  test("String_Node_Str",TypeFlt.make(0,64,3.3));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeStr.make(0,"String_Node_Str"));
  test("String_Node_Str",TypeFlt.PI);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeInt.con(-1));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(7));
  test("String_Node_Str",TypeInt.con(33));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(6));
  test("String_Node_Str",TypeInt.con(1 + 6 + 6 * 6));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(3));
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.INT8);
  test("String_Node_Str",TypeInt.con(4));
  test("String_Node_Str",TypeInt.INT8);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.con(2));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(1));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.FALSE);
  test("String_Node_Str",TypeInt.TRUE);
  test_isa("String_Node_Str",TypeTuple.FUNPTR2);
  test("String_Node_Str",TypeInt.con(5));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeInt.con(1));
  test("String_Node_Str",TypeFlt.con(3.14));
  test("String_Node_Str",Env.lookup_valtype("String_Node_Str"));
  test("String_Node_Str",TypeFlt.make(0,64,Math.PI + 1));
  test("String_Node_Str",TypeInt.con(2));
  test("String_Node_Str",TypeInt.con(2));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(5));
  test("String_Node_Str",TypeFlt.con(2.1 * 2.0));
  test("String_Node_Str",TypeFlt.con(2.1 * 2.0 + 3 * 2));
  test("String_Node_Str",TypeInt.con(-1));
  test("String_Node_Str",TypeFlt.make(0,64,3.3));
  test("String_Node_Str",TypeInt.TRUE);
  test("String_Node_Str",TypeInt.TRUE);
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeFlt.con(2.1 * 2 + 3 * 2));
  test("String_Node_Str",TypeInt.con(123));
  test("String_Node_Str",TypeFlt.con(0.125));
  testerr("String_Node_Str","String_Node_Str","String_Node_Str");
  test("String_Node_Str",TypeInt.con(6));
}