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