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);
}
}