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
36
37
38
39
40
ÿþ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(); 
    } 
} 
    } 
}