public void Constructor571()
{
Edge <int> edge;
EdgeEventArgs <int, Edge <int> > edgeEventArgs;
edge = EdgeFactory.Create(0, 0);
edgeEventArgs = this.Constructor <int, Edge <int> >(edge);
Assert.IsNotNull((object)edgeEventArgs);
Assert.IsNotNull(edgeEventArgs.Edge);
}
public void AddEdgeThrowsContractException200()
{
try
{
AdjacencyGraph <int, Edge <int> > adjacencyGraph;
Edge <int> edge;
bool b;
KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [0];
adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs);
edge = EdgeFactory.Create(0, 0);
b = this.AddEdge <int, Edge <int> >(adjacencyGraph, edge);
throw new AssertFailedException();
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}