add new model

ulysseskao

2016-04-29 bcb4a4c4c2ba29045ed4727fc693b339770703cf

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
ÿþ// <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")]