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