public Disposition complete(ProcessInvokeAsyncWorker worker)
{
VerificationResult vr = new VerificationResult(bplInput.getRelativePath(), worker.pinv, new VerificationResultBoogieParser());
vr.addBasicPresentation();
vr.toXmlFile(getOutputFile().getFilesystemPath());
setWasVerificationTimeout(vr.wasOnlyTimeouts());
return worker.pinv.disposition;
}
public Disposition complete(ProcessInvokeAsyncWorker worker)
{
VerificationResult vr = new VerificationResult(dfysource.getRelativePath(), worker.pinv, new VerificationResultDafnyParser());
vr.addBasicPresentation();
vr.toXmlFile(getOutputFile().getRelativePath());
setWasVerificationTimeout(vr.wasOnlyTimeouts());
return(worker.pinv.disposition);
}
public Disposition Complete(WorkingDirectory workingDirectory, double cpuTimeSeconds, string stdout, string stderr, Disposition disposition)
{
VerificationResult vr = new VerificationResult(
bplInput.getRelativePath(),
cpuTimeSeconds,
stdout,
stderr,
new VerificationResultBoogieParser());
vr.addBasicPresentation();
vr.toXmlFile(workingDirectory.PathTo(getOutputFile()));
setWasRejectableFailure(vr.wasOnlyTimeouts());
return disposition;
}
public Disposition Complete(WorkingDirectory workingDirectory, double cpuTimeSeconds, string stdout, string stderr, Disposition disposition)
{
VerificationResult vr = new VerificationResult(
this.dfysource.getRelativePath(),
cpuTimeSeconds,
stdout,
stderr,
new VerificationResultDafnyParser());
vr.addBasicPresentation();
vr.toXmlFile(workingDirectory.PathTo(this.getOutputFile()));
this.setWasRejectableFailure(!vr.pass);
return(disposition);
}
public Disposition Complete(WorkingDirectory workingDirectory, double cpuTimeSeconds, string stdout, string stderr, Disposition disposition)
{
VerificationResult vr = new VerificationResult(
bplInput.getRelativePath(),
cpuTimeSeconds,
stdout,
stderr,
new VerificationResultBoogieParser());
vr.addBasicPresentation();
vr.toXmlFile(workingDirectory.PathTo(getOutputFile()));
setWasRejectableFailure(vr.wasOnlyTimeouts());
return disposition;
}
public Disposition Complete(WorkingDirectory workingDirectory, double cpuTimeSeconds, string stdout, string stderr, Disposition disposition)
{
VerificationResult vr = new VerificationResult(
this.dfysource.getRelativePath(),
cpuTimeSeconds,
stdout,
stderr,
new VerificationResultDafnyParser());
vr.addBasicPresentation();
vr.toXmlFile(workingDirectory.PathTo(this.getOutputFile()));
this.setWasRejectableFailure(!vr.pass);
return disposition;
}