RandoopTest_failure_1.java

package randoopFailures;

import junit.framework.*;

public class RandoopTest_failure_1 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nRandoopTest_failure_1.test1");


    org.graphstream.graph.implementations.SingleGraph var1 = new org.graphstream.graph.implementations.SingleGraph("hi!");
    org.graphstream.graph.Edge var4 = var1.<org.graphstream.graph.Edge>removeEdge(0, 0);

  }

}