public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
: base(dfyroot, appLabel)
{
this.useFramePointer = useFramePointer;
this.abstractId = new AbstractId(this.GetType().Name, this.getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
this.dafnyCCBuildExecutableVerb = new VSSolutionVerb(new SourcePath("tools\\DafnyCC\\DafnyCC.sln", SourcePath.SourceType.Tools));
}
public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
: base(dfyroot, appLabel)
{
this.useFramePointer = useFramePointer;
this.abstractId = new AbstractId(this.GetType().Name, this.getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
this.dafnyCCBuildExecutableVerb = new VSSolutionVerb(new SourcePath("tools\\DafnyCC\\DafnyCC.sln", SourcePath.SourceType.Tools));
}
public DafnyCCVerb(SourcePath dfyroot, string appLabel, FramePointerMode useFramePointer)
: base(dfyroot, appLabel)
{
this.useFramePointer = useFramePointer;
abstractId = new AbstractId(this.GetType().Name, getVersion() + version, dfyroot.ToString(), concrete: useFramePointer.ToString());
}