public void AddEdge55() { try { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [2]; KeyValuePair <int, int> s0 = new KeyValuePair <int, int>(36014113, 1781006400); keyValuePairs[0] = s0; KeyValuePair <int, int> s1 = new KeyValuePair <int, int>(708135361, 708135361); keyValuePairs[1] = s1; adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); Assert.AreEqual <bool>(false, b); Assert.IsNotNull((object)adjacencyGraph); Assert.AreEqual <bool>(true, adjacencyGraph.IsDirected); Assert.AreEqual <bool>(false, adjacencyGraph.AllowParallelEdges); Assert.AreEqual <int>(-1, adjacencyGraph.EdgeCapacity); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }
public void AddEdgeThrowsContractException966() { try { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [3]; KeyValuePair <int, int> s0 = new KeyValuePair <int, int>(1048578, 840056837); keyValuePairs[0] = s0; KeyValuePair <int, int> s1 = new KeyValuePair <int, int>(273287168, 273287168); keyValuePairs[1] = s1; KeyValuePair <int, int> s2 = new KeyValuePair <int, int>(-1, -1); keyValuePairs[2] = s2; adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); throw new AssertFailedException(); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }
public void AddEdge791() { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [2]; adjacencyGraph = AdjacencyGraphFactory.Create(true, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); Assert.AreEqual <bool>(true, b); Assert.IsNotNull((object)adjacencyGraph); Assert.AreEqual <bool>(true, adjacencyGraph.IsDirected); Assert.AreEqual <bool>(true, adjacencyGraph.AllowParallelEdges); Assert.AreEqual <int>(-1, adjacencyGraph.EdgeCapacity); }
public void AddEdgeThrowsContractException72() { try { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [1]; adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); throw new AssertFailedException(); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }
public void AddEdge55() { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [2]; KeyValuePair <int, int> s0 = new KeyValuePair <int, int>(36014113, 1781006400); keyValuePairs[0] = s0; KeyValuePair <int, int> s1 = new KeyValuePair <int, int>(708135361, 708135361); keyValuePairs[1] = s1; adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); Assert.AreEqual <bool>(false, b, "Operation result."); Assert.IsNotNull((object)adjacencyGraph, "Is null."); Assert.AreEqual <bool>(true, adjacencyGraph.IsDirected, "Direction checking."); Assert.AreEqual <bool>(false, adjacencyGraph.AllowParallelEdges, "Parallel edges checking."); Assert.AreEqual <int>(-1, adjacencyGraph.EdgeCapacity, "Edge capacity checking."); }
public void AddEdge791() { try { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [2]; adjacencyGraph = AdjacencyGraphFactory.Create(true, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); Assert.AreEqual <bool>(true, b); Assert.IsNotNull((object)adjacencyGraph); Assert.AreEqual <bool>(true, adjacencyGraph.IsDirected); Assert.AreEqual <bool>(true, adjacencyGraph.AllowParallelEdges); Assert.AreEqual <int>(-1, adjacencyGraph.EdgeCapacity); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }
public void AddEdgeThrowsContractException569() { try { AdjacencyGraph <int, Edge <int> > adjacencyGraph; bool b; KeyValuePair <int, int>[] keyValuePairs = new KeyValuePair <int, int> [2]; KeyValuePair <int, int> s0 = new KeyValuePair <int, int>(-2097099498, 50384150); keyValuePairs[0] = s0; KeyValuePair <int, int> s1 = new KeyValuePair <int, int>(-2097099498, -2097099498); keyValuePairs[1] = s1; adjacencyGraph = AdjacencyGraphFactory.Create(false, keyValuePairs); b = this.AddEdge <int, Edge <int> >(adjacencyGraph, (Edge <int>)null); throw new AssertFailedException(); } catch (Exception ex) { if (!PexContract.IsContractException(ex)) { throw ex; } } }