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
ÿþ// <copyright file="CcsMainTest.cs" company="Ximple">Copyright Ximple</copyright> 
 
using System; 
using System.IO; 
using CCSTrace.CCS; 
using Microsoft.Pex.Framework; 
using Microsoft.Pex.Framework.Validation; 
using Microsoft.VisualStudio.TestTools.UnitTesting; 
 
namespace CCSTrace.CCS.Tests 
{ 
    /// <summary>This class contains parameterized unit tests for CcsMain</summary> 
    [TestClass] 
    [PexClass(typeof(CcsMain))] 
    [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)] 
    [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))] 
    public partial class CcsMainTest 
    { 
 
        /// <summary>Test stub for .ctor()</summary> 
        [PexMethod] 
        public CcsMain ConstructorTest() 
        { 
            CcsMain target = new CcsMain(); 
            return target; 
            // TODO: add assertions to method CcsMainTest.ConstructorTest() 
        } 
    } 
}