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; }
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder <PexGeneratedTestName> branchCovBuilder) { CoverageBuilderMaxAggregator.Max(branchCovBuilder); }
/// <summary> /// Accumulates the maximum coverage /// </summary> /// <param name="taggedCovered"></param> public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder <PexGeneratedTestName> newCoverage) { this.coverageBuilderMaxAggregator.Max(newCoverage); }
/// <summary> /// Initializes the PexMe Database /// </summary> protected override void Initialize() { //this.Log.LogMessage(PexMeLogCategories.MethodBegin, "Begin of PexMeDatabase.Initialize() method"); coverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder <PexGeneratedTestName>(); }
/// <summary> /// Initializes the PexMe Database /// </summary> protected override void Initialize() { //this.Log.LogMessage(PexMeLogCategories.MethodBegin, "Begin of PexMeDatabase.Initialize() method"); coverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder<PexGeneratedTestName>(); }
/// <summary> /// Accumulates the maximum coverage /// </summary> /// <param name="taggedCovered"></param> public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder<PexGeneratedTestName> newCoverage) { this.coverageBuilderMaxAggregator.Max(newCoverage); }
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; }
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder<PexGeneratedTestName> branchCovBuilder) { CoverageBuilderMaxAggregator.Max(branchCovBuilder); }