Program: 37181
Project: 37181
Buggy source:
/** 
 * test validateSearchStringIsValidIdna.
 */
@Test public void testValidateSearchStringIsValidIdna(){
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
}

Fixed version (ground truth):
/** 
 * test validateSearchStringIsValidIdna.
 */
@Test public void testValidateSearchStringIsValidIdna(){
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertTrue(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
  assertFalse(validateSearchStringIsValidIdna("String_Node_Str"));
}