public override IVerbWorker getWorker(WorkingDirectory workingDirectory)
{
VerbOutputsContext context = new VerbOutputsContext(this.parent, this.assertSuspiciousDafnyImpls);
ContextContents contents = new ContextContents(context);
BuildEngine.theEngine.Repository.StoreVirtual(this.getContextOutput(), new Fresh(), contents);
return new VerbSyncWorker(workingDirectory, new Fresh());
}
public override IVerbWorker getWorker(WorkingDirectory workingDirectory)
{
VerbOutputsContext context = new VerbOutputsContext(this.parent, this.assertSuspiciousDafnyImpls);
ContextContents contents = new ContextContents(context);
BuildEngine.theEngine.Repository.StoreVirtual(this.getContextOutput(), new Fresh(), contents);
return(new VerbSyncWorker(workingDirectory, new Fresh()));
}
public override IVerbWorker getWorker()
{
VerbOutputsContext context = new VerbOutputsContext(_parent, _assertSuspiciousDafnyImpls);
ContextContents contents = new ContextContents(context);
BuildEngine.theEngine.getNuObjContents().storeVirtual(getContextOutput(), new Fresh(), contents);
return(new VerbSyncWorker(new Fresh()));
}