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