public void Test_Map02()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
int[] ints2 = new int[1];
int[] ints3 = new int[1];
ints3[0] = 1;
this.Test_Map(ints2, ints3, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void GraphWithSelfEdgesPUT06()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph(s0, false, 0);
IPexChoiceRecorder choices = PexChoose.NewTest();
this.GraphWithSelfEdgesPUT(adjacencyGraph, 2, false);
}
public void Test_Map06()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
int[] ints10 = new int[2];
int[] ints11 = new int[2];
ints10[0] = 13;
ints10[1] = 12;
ints11[0] = 2;
this.Test_Map(ints10, ints11, PexChoose.CreateDelegate <Func <int, int, int> >());
}
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 Test_Map05()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
int[] ints8 = new int[2];
int[] ints9 = new int[2];
ints8[0] = 67723308;
ints8[1] = 67666200;
ints9[0] = 411430;
ints9[1] = 2022834484;
this.Test_Map(ints8, ints9, PexChoose.CreateDelegate <Func <int, int, int> >());
}
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 divideTest7701()
{
int i;
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.DefaultSession
.At(0, "noemer", (object)1);
CodeContractExample s0 = new CodeContractExample();
i = this.divideTest(s0, 0, 1);
Assert.AreEqual <int>(0, i);
Assert.IsNotNull((object)s0);
}
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 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 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 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);
}
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 Test_Map16()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
choices.DefaultSession
.At(0, "result", (object)5640)
.At(1, "result", (object)8707)
.At(2, "result", (object)4194816);
int[] ints30 = new int[3];
int[] ints31 = new int[3];
ints30[0] = 3031252;
ints30[1] = 10752;
ints30[2] = 13321;
ints31[0] = 13730305;
ints31[1] = 10778;
ints31[2] = 5640;
this.Test_Map(ints30, ints31, PexChoose.CreateDelegate <Func <int, int, int> >());
}
public void GraphWithSelfEdgesPUT03()
{
IPexChoiceRecorder choices = PexChoose.NewTest();
this.GraphWithSelfEdgesPUT((AdjacencyGraph)null, 2, false);
}