RandoopTest_failure_3.java

package randoopFailures;

import junit.framework.*;

public class RandoopTest_failure_3 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

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


    org.graphstream.graph.implementations.MultiGraph var1 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var2 = var1.<org.graphstream.graph.Edge>getEdgeIterator();
    org.graphstream.graph.implementations.MultiGraph var4 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var5 = var4.<org.graphstream.graph.Edge>getEdgeIterator();
    var1.addSink((org.graphstream.stream.Sink)var4);
    java.lang.Object[] var8 = var4.getArray("");
    boolean var10 = var4.hasVector("hi!");
    org.graphstream.graph.implementations.MultiGraph var16 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.HashMap var18 = var16.getHash("");
    var16.stepBegins("", 1L, (-1.0d));
    boolean var23 = var16.isStrict();
    var16.setStrict(true);
    org.graphstream.graph.implementations.MultiGraph var27 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var28 = var27.<org.graphstream.graph.Edge>getEdgeIterator();
    org.graphstream.graph.implementations.MultiGraph var30 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var31 = var30.<org.graphstream.graph.Edge>getEdgeIterator();
    var27.addSink((org.graphstream.stream.Sink)var30);
    org.graphstream.graph.implementations.MultiGraph var34 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    var30.addAttributeSink((org.graphstream.stream.AttributeSink)var34);
    var4.edgeAttributeChanged("", 1L, "hi!", "", (java.lang.Object)var16, (java.lang.Object)var30);
    var30.nodeAttributeRemoved("hi!", 0L, "", "");
    org.graphstream.graph.implementations.AdjacencyListGraph var45 = new org.graphstream.graph.implementations.AdjacencyListGraph("hi!", false, true);
    boolean var46 = var45.isStrict();
    org.graphstream.graph.implementations.MultiGraph var48 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var49 = var48.<org.graphstream.graph.Edge>getEdgeIterator();
    org.graphstream.graph.implementations.MultiGraph var51 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var52 = var51.<org.graphstream.graph.Edge>getEdgeIterator();
    var48.addSink((org.graphstream.stream.Sink)var51);
    double var55 = var48.getNumber("");
    double var57 = var48.getNumber("hi!");
    org.graphstream.stream.Replayable.Controller var58 = var48.getReplayController();
    java.lang.String var59 = var48.getId();
    java.util.Iterator var60 = var48.iterator();
    var45.removeAttributeSink((org.graphstream.stream.AttributeSink)var48);
    var30.removeAttributeSink((org.graphstream.stream.AttributeSink)var45);
    java.util.Collection var63 = var45.getAttributeKeySet();
    org.graphstream.graph.Edge var68 = var45.<org.graphstream.graph.Edge>addEdge("", 0, 0, false);

  }

}