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