RandoopTest_failure_2.java

package randoopFailures;

import junit.framework.*;

public class RandoopTest_failure_2 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

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


    org.graphstream.graph.implementations.AdjacencyListGraph var1 = new org.graphstream.graph.implementations.AdjacencyListGraph("");
    boolean var3 = var1.hasVector("hi!");
    java.util.Iterator var4 = var1.<org.graphstream.graph.Edge>getEdgeIterator();
    var1.graphAttributeAdded("hi!", 1L, "", (java.lang.Object)100.0d);
    org.graphstream.graph.implementations.MultiGraph var15 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    org.graphstream.graph.implementations.MultiGraph var21 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.HashMap var23 = var21.getHash("");
    var21.stepBegins("", 1L, (-1.0d));
    boolean var28 = var21.isStrict();
    java.lang.Iterable var29 = var21.attributeSinks();
    var15.edgeAttributeAdded("hi!", 1L, "", "hi!", (java.lang.Object)var21);
    org.graphstream.graph.implementations.MultiGraph var32 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var33 = var32.<org.graphstream.graph.Edge>getEdgeIterator();
    org.graphstream.graph.implementations.MultiGraph var35 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var36 = var35.<org.graphstream.graph.Edge>getEdgeIterator();
    var32.addSink((org.graphstream.stream.Sink)var35);
    double var39 = var32.getNumber("");
    org.graphstream.graph.implementations.MultiGraph var41 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var42 = var41.<org.graphstream.graph.Edge>getEdgeIterator();
    org.graphstream.graph.implementations.MultiGraph var44 = new org.graphstream.graph.implementations.MultiGraph("hi!");
    java.util.Iterator var45 = var44.<org.graphstream.graph.Edge>getEdgeIterator();
    var41.addSink((org.graphstream.stream.Sink)var44);
    var32.removeElementSink((org.graphstream.stream.ElementSink)var44);
    java.lang.Iterable var48 = var32.attributeSinks();
    org.graphstream.graph.implementations.SingleGraph var58 = new org.graphstream.graph.implementations.SingleGraph("hi!", false, true, 1, 0);
    var32.edgeAttributeChanged("", 1L, "hi!", "", (java.lang.Object)var58, (java.lang.Object)1.0f);
    var32.nodeAttributeRemoved("hi!", 0L, "hi!", "");
    var1.edgeAttributeChanged("", 100L, "", "", (java.lang.Object)1L, (java.lang.Object)var32);
    java.util.Iterator var67 = var1.<org.graphstream.graph.Node>getNodeIterator();
    org.graphstream.graph.Edge var71 = var1.<org.graphstream.graph.Edge>addEdge("hi!", 0, 0);

  }

}