Program: 43996
Project: 43996
Buggy source:
public void testCommandLineParse(){
  String[] args=null;
  StandardLuaJVM vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertFalse(1044 == vm.getDebugPort());
    assertFalse(true == vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertTrue(1044 == vm.getDebugPort());
    assertFalse(true == vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    vm.run();
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    vm.run();
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(false,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals("String_Node_Str",vm.getLuaPath());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals("String_Node_Str",vm.getLuaPath());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
}

Fixed version (ground truth):
public void testCommandLineParse(){
  String[] args=null;
  StandardLuaJVM vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertFalse(1044 == vm.getDebugPort());
    assertFalse(true == vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertTrue(1044 == vm.getDebugPort());
    assertFalse(true == vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    vm.run();
    fail("String_Node_Str");
  }
 catch (  ParseException e) {
  }
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    vm.run();
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(true,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals(false,vm.getSuspendOnStart());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  System.setProperty("String_Node_Str","String_Node_Str");
  args=new String[]{"String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals("String_Node_Str",vm.getLuaPath());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
  System.setProperty("String_Node_Str","String_Node_Str");
  args=new String[]{"String_Node_Str","String_Node_Str"};
  vm=new StandardLuaJVM();
  try {
    vm.parse(args);
    assertEquals(1044,vm.getDebugPort());
    assertEquals("String_Node_Str",vm.getLuaPath());
    assertEquals("String_Node_Str",vm.getScript());
  }
 catch (  ParseException e) {
    fail("String_Node_Str");
  }
}