ÿþusing System.IO; using Microsoft.VisualStudio.TestTools.UnitTesting; using System.ComponentModel; using CCSTrace; using Microsoft.Pex.Framework.Generated; // <auto-generated> // This file contains automatically generated tests. // Do not modify this file manually. // // If the contents of this file becomes outdated, you can delete it. // For example, if it no longer compiles. // </auto-generated> using System; namespace CCSTrace.Tests { public partial class Service1Test { [TestMethod] [PexGeneratedBy(typeof(Service1Test))] [PexRaisedException(typeof(FileNotFoundException))] public void AcceptCaseTestThrowsFileNotFoundException13() { using (PexDisposableContext disposables = PexDisposableContext.Create()) { Service1 service1; service1 = new Service1(); ((MarshalByValueComponent)service1).Site = (ISite)null; disposables.Add((IDisposable)service1); this.AcceptCaseTest(service1, (string)null, (string)null, (string)null, (string)null, (string)null, (string)null, (string)null, (string)null, (string)null, (string)null, 0, (string)null, 0, (string)null, 0, (string)null); disposables.Dispose(); } } } }