ÿþ// <copyright file="PexAssemblyInfo.cs" company="Ximple">Copyright Ximple</copyright> using Microsoft.Pex.Framework.Coverage; using Microsoft.Pex.Framework.Creatable; using Microsoft.Pex.Framework.Instrumentation; using Microsoft.Pex.Framework.Settings; using Microsoft.Pex.Framework.Validation; // Microsoft.Pex.Framework.Settings [assembly: PexAssemblySettings(TestFramework = "VisualStudioUnitTest")] // Microsoft.Pex.Framework.Instrumentation [assembly: PexAssemblyUnderTest("CCSTrace")] [assembly: PexInstrumentAssembly("System.Data.OracleClient")] [assembly: PexInstrumentAssembly("System.Data")] [assembly: PexInstrumentAssembly("Interop.TRACEROBJECTLib")] [assembly: PexInstrumentAssembly("System.Web.Services")] [assembly: PexInstrumentAssembly("System.Web.Extensions")] [assembly: PexInstrumentAssembly("NLog")] // Microsoft.Pex.Framework.Creatable [assembly: PexCreatableFactoryForDelegates] // Microsoft.Pex.Framework.Validation [assembly: PexAllowedContractRequiresFailureAtTypeUnderTestSurface] [assembly: PexAllowedXmlDocumentedException] // Microsoft.Pex.Framework.Coverage [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "System.Data.OracleClient")] [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "System.Data")] [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "Interop.TRACEROBJECTLib")] [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "System.Web.Services")] [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "System.Web.Extensions")] [assembly: PexCoverageFilterAssembly(PexCoverageDomain.UserOrTestCode, "NLog")]