public void getInputNumberTestThrowsObjectDisposedException271()
{
using (PexPConsoleInContext.Create())
{
Manager manager;
int i;
manager = new Manager((string)null, (string)null, (string)null);
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(2, "close", (object)true);
i = this.getInputNumberTest(manager);
}
}
public void CreateCityModelTestThrowsArgumentOutOfRangeException911()
{
using (PexPConsoleInContext.Create())
{
ArgumentOutOfRangeException argumentOutOfRangeException;
CityModel cityModel;
argumentOutOfRangeException = new ArgumentOutOfRangeException();
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(1, "throw", (object)argumentOutOfRangeException);
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, (string)null);
}
}
public void CreateCityModelTestThrowsOutOfMemoryException120()
{
using (PexPConsoleInContext.Create())
{
OutOfMemoryException outOfMemoryException;
CityModel cityModel;
outOfMemoryException = new OutOfMemoryException();
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(1, "throw", (object)outOfMemoryException);
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, (string)null);
}
}
public void getInputNumberTestThrowsOutOfMemoryException17()
{
using (PexPConsoleInContext.Create())
{
Manager manager;
OutOfMemoryException outOfMemoryException;
int i;
manager = new Manager((string)null, (string)null, (string)null);
outOfMemoryException = new OutOfMemoryException();
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(2).DefaultSession
.At(1, "throw", (object)outOfMemoryException);
i = this.getInputNumberTest(manager);
}
}
public void getInputNumberTest38104()
{
using (PexPConsoleInContext.Create())
{
Manager manager;
int i;
manager = new Manager((string)null, (string)null, (string)null);
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(3, "line", "00\0");
i = this.getInputNumberTest(manager);
Assert.AreEqual <int>(0, i);
Assert.IsNotNull((object)manager);
}
}
public void GraphWithSelfEdgesPUT07()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph(s0, true, 0);
IPexChoiceRecorder choices = PexChoose.NewTest();
((IPexChoiceSessionBuilder)(choices.NextSegment(1)
.OnCall(0,
"BreadthFirstAlgorithmSearchTestNEW.GraphWithSelfEdgesPUT(AdjacencyGraph, Int32)")
))
.At(0, "to add a self ede", (object)true);
this.GraphWithSelfEdgesPUT(adjacencyGraph, 2);
}
public void CreateCityModelTestThrowsIOException998()
{
using (PexPConsoleInContext.Create())
{
IOException iOException;
CityModel cityModel;
iOException = new IOException();
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(0, "peeked", (object)true)
.At(2, "throw", (object)iOException)
.At(1, "peek", (object)' ');
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, "");
}
}
public void CreateCityModelTestThrowsOutOfMemoryException266()
{
using (PexPConsoleInContext.Create())
{
OutOfMemoryException outOfMemoryException;
CityModel cityModel;
outOfMemoryException = new OutOfMemoryException();
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.NextSegment(1).DefaultSession
.At(0, "peeked", (object)true)
.At(1, "peek", (object)' ')
.At(3, "line", "e")
.At(4, "throw", (object)outOfMemoryException);
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, "e");
}
}
public void GraphWithSelfEdgesPUT07()
{
AdjacencyGraph adjacencyGraph;
Random random;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0);
random = RandomFactory.Create(0);
IPexChoiceRecorder choices = PexChoose.NewTest();
((IPexChoiceSessionBuilder)(choices.NextSegment(2)
.OnCall(0,
"DepthFirstAlgorithmSearchTestNEW.GraphWithSelfEdgesPUT(AdjacencyGraph, Int32, Boolean)")
))
.At(0, "Random object", (object)random);
this.GraphWithSelfEdgesPUT(adjacencyGraph, 2, false);
}