Exemple #1
0
        protected override void Initialize()
        {
            base.Initialize();

            CoverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder <PexGeneratedTestName>();

            var assemblyName = this.Services.CurrentAssembly.Assembly.Assembly.ShortName;

            FieldAcccessFileName = InfoFileDirectory + assemblyName + ".fieldAccess.bin";
            InsufficientObjectFactoryFieldFileName      = InfoFileDirectory + assemblyName + ".insufficientFields.bin";
            insufficientFieldInfoWithBranchInfoFileName = InfoFileDirectory + assemblyName +
                                                          ".insufficientFields.branch.bin";
            FactoryMethodDebugFileName = InfoFileDirectory + assemblyName + ".factories.txt";

            FieldAccessInfoObj = (FieldAccessInfo)LoadFInfoFromFile(FieldAccessInfoObj, FieldAcccessFileName);

            if (FieldAccessInfoObj == null)
            {
                FieldAccessInfoObj = new FieldAccessInfo();
            }

            InsufficientObjectFactoryFieldInfoObj =
                (InsufficientObjectFactoryFieldInfo)
                LoadFInfoFromFile(InsufficientObjectFactoryFieldInfoObj, InsufficientObjectFactoryFieldFileName);
            if (InsufficientObjectFactoryFieldInfoObj == null)
            {
                InsufficientObjectFactoryFieldInfoObj = new InsufficientObjectFactoryFieldInfo();
            }

            insufficientFieldInfoWithBranchInfo = new InsufficientFieldInfoWithBranchInfo();
            int countRelevantFiles = InsufficientObjectFactoryFieldInfoObj.ReleventFields.Count;
        }
        protected override void Initialize()
        {
            base.Initialize();

            CoverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder<PexGeneratedTestName>();

            var assemblyName = this.Services.CurrentAssembly.Assembly.Assembly.ShortName;
            FieldAcccessFileName = InfoFileDirectory + assemblyName + ".fieldAccess.bin";
            InsufficientObjectFactoryFieldFileName = InfoFileDirectory + assemblyName + ".insufficientFields.bin";
            insufficientFieldInfoWithBranchInfoFileName = InfoFileDirectory + assemblyName +
                                                          ".insufficientFields.branch.bin";
            FactoryMethodDebugFileName = InfoFileDirectory + assemblyName + ".factories.txt";

            FieldAccessInfoObj = (FieldAccessInfo) LoadFInfoFromFile(FieldAccessInfoObj, FieldAcccessFileName);

            if (FieldAccessInfoObj == null)
            {
                FieldAccessInfoObj = new FieldAccessInfo();
            }

            InsufficientObjectFactoryFieldInfoObj =
                (InsufficientObjectFactoryFieldInfo)
                LoadFInfoFromFile(InsufficientObjectFactoryFieldInfoObj, InsufficientObjectFactoryFieldFileName);
            if (InsufficientObjectFactoryFieldInfoObj == null)
            {
                InsufficientObjectFactoryFieldInfoObj = new InsufficientObjectFactoryFieldInfo();
            }

            insufficientFieldInfoWithBranchInfo = new InsufficientFieldInfoWithBranchInfo();
            int countRelevantFiles = InsufficientObjectFactoryFieldInfoObj.ReleventFields.Count;
        }