ÿþ// <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() } } }