public void CreateCityModelTestThrowsObjectDisposedException577()
{
using (PexPConsoleInContext.Create())
{
CityModel cityModel;
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.DefaultSession
.At(2, "close", (object)true);
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, "");
}
}
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 CreateCityModelTestThrowsObjectDisposedException339()
{
using (PexPConsoleInContext.Create())
{
CityModel cityModel;
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.DefaultSession
.At(3, "line", "-0")
.At(6, "line", "-")
.At(8, "close", (object)true);
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, (string)null);
}
}
public void CreateCityModelTest79601()
{
using (PexPConsoleInContext.Create())
{
CityModel cityModel;
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.DefaultSession
.At(3, "line", "-0")
.At(6, "line", "-0");
CityModelBuilder s0 = new CityModelBuilder();
cityModel = this.CreateCityModelTest(s0, (string)null);
Assert.IsNotNull((object)s0);
}
}
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 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");
}
}