Program: 92913
Project: 92913
Buggy source:
public void testCompareToBigRanges() throws Exception {
  TmfTimestamp ts0a=new TmfTimestamp(0,Byte.MAX_VALUE);
  TmfTimestamp ts0b=new TmfTimestamp(0,Byte.MIN_VALUE);
  TmfTimestamp ts1=new TmfTimestamp(-1,Byte.MAX_VALUE);
  TmfTimestamp ts2=new TmfTimestamp(-1,Byte.MIN_VALUE);
  TmfTimestamp ts3=new TmfTimestamp(1,Byte.MAX_VALUE);
  TmfTimestamp ts4=new TmfTimestamp(1,Byte.MIN_VALUE);
  assertTrue("String_Node_Str",ts0a.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts0a.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts0b.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts0b.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts0a.compareTo(ts0b,false) == 0);
  assertTrue("String_Node_Str",ts0b.compareTo(ts0a,false) == 0);
  assertTrue("String_Node_Str",ts0a.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts0a.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts1.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts1.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts2.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts2.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts3.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts3.compareTo(TmfTimestamp.BigCrunch,false) < 0);
  assertTrue("String_Node_Str",ts4.compareTo(TmfTimestamp.BigBang,false) > 0);
  assertTrue("String_Node_Str",ts4.compareTo(TmfTimestamp.BigCrunch,false) < 0);
}

Fixed version (ground truth):
public void testCompareToBigRanges() throws Exception {
  TmfTimestamp ts0a=new TmfTimestamp(0,Byte.MAX_VALUE);
  TmfTimestamp ts0b=new TmfTimestamp(0,Byte.MIN_VALUE);
  TmfTimestamp ts1=new TmfTimestamp(-1,Byte.MAX_VALUE);
  TmfTimestamp ts2=new TmfTimestamp(-1,Byte.MIN_VALUE);
  TmfTimestamp ts3=new TmfTimestamp(1,Byte.MAX_VALUE);
  TmfTimestamp ts4=new TmfTimestamp(1,Byte.MIN_VALUE);
  assertEquals("String_Node_Str",1,ts0a.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts0a.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",1,ts0b.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts0b.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",0,ts0a.compareTo(ts0b,false));
  assertEquals("String_Node_Str",0,ts0b.compareTo(ts0a,false));
  assertEquals("String_Node_Str",1,ts0a.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts0a.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",1,ts1.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts1.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",1,ts2.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts2.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",1,ts3.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts3.compareTo(TmfTimestamp.BigCrunch,false));
  assertEquals("String_Node_Str",1,ts4.compareTo(TmfTimestamp.BigBang,false));
  assertEquals("String_Node_Str",-1,ts4.compareTo(TmfTimestamp.BigCrunch,false));
}