protected override IEnumerable <BuildObject> getInputFiles()
{
return(new List <BuildObject>()
{
mutualSummary, combiner.getOutputFile()
});
}
public SymDiffMergeVerb(BoogieAsmVerifyVerb basmVerb, SymDiffCombineVerb combiner)
{
this.basmVerb = basmVerb;
this.mutualSummary = basmVerb.getMutualSummary();
this.combiner = combiner;
abstractId = new AbstractId(this.GetType().Name, version, combiner.getOutputFile().ToString()); //- String.Format("{0},{1}", One should suffice for uniqueness: mutualSummary, combiner.getOutputFile()));
output = this.basmVerb.outputFile().makeOutputObject(MERGED_EXTN + BoogieVerb.BPL_EXTN);
}
