RandoopTest_failure_4.java

package randoopFailures;

import junit.framework.*;

public class RandoopTest_failure_4 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

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


    org.graphstream.graph.implementations.SingleGraph var3 = new org.graphstream.graph.implementations.SingleGraph("", true, false);
    org.graphstream.stream.Replayable.Controller var4 = var3.getReplayController();
    org.graphstream.graph.Node var6 = var3.<org.graphstream.graph.Node>addNode("");
    java.util.ArrayList var8 = var3.getVector("hi!");
    var3.clearAttributeSinks();
    org.graphstream.graph.Node var11 = var3.<org.graphstream.graph.Node>getNode("hi!");
    org.graphstream.graph.Edge var14 = var3.<org.graphstream.graph.Edge>removeEdge("", "hi!");

  }

}