ÿþusing System.IO; using Microsoft.Pex.Framework.Generated; using Microsoft.VisualStudio.TestTools.UnitTesting; using CCSTrace.CCS; // <copyright file="CcsMainTest.ConstructorTest.g.cs" company="Ximple">Copyright Ximple</copyright> // <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; using System.Diagnostics; namespace CCSTrace.CCS.Tests { public partial class CcsMainTest { [TestMethod] [PexGeneratedBy(typeof(CcsMainTest))] [PexRaisedException(typeof(FileNotFoundException))] public void ConstructorTestThrowsFileNotFoundException634() { CcsMain ccsMain; ccsMain = this.ConstructorTest(); Assert.IsNotNull(ccsMain); string baseDir = System.AppDomain.CurrentDomain.BaseDirectory; string appDataDir = Path.Combine(baseDir, "app_data"); ccsMain.AppDataPath = appDataDir; ccsMain.Startup(); Assert.AreEqual("Data source=NNTPC;User Id=basedb;Password=BASEDB000;", GlobalVariable.ConnectionString); Assert.AreEqual("basedb/BASEDB000@NNTPC", GlobalVariable.TraceConnectionString); Assert.AreEqual(3, GlobalVariable.MaxConnectionCount); Assert.AreEqual(1, GlobalVariable.MinThreadSize); Assert.AreEqual(5, GlobalVariable.MaxThreadSize); Debug.WriteLine("EosCodeList size=" + GlobalVariable.CcsCodelist.Count); Debug.WriteLine("EosCodeList size=" + GlobalVariable.EosCodelist.Count); ccsMain.Shutdown(); } } }