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;
}