protected override int Do(IWorkId work)
{
var args = this.MakeArgs(work).ToArray();
var bufferedOutput = BufferedTextWriter.Create();
try
{
bufferedOutput.WriteLine("Analysis of dll: {0}", work.SliceId.Dll);
return(this.callClousotMain(args, bufferedOutput));
}
finally
{
this.output.WriteLine(bufferedOutput.ToString());
}
}
protected override int Do(IWorkId work)
{
var args = this.MakeArgs(work).ToArray();
var bufferedOutput = BufferedTextWriter.Create();
try
{
var outputFactory = new FullTextWriterOutputFactory <Method, Assembly>(bufferedOutput);
this.output.WriteLine("[SlicerWorker: {0}] Analysis of dll (Time stamp {1}) {2}", DateTime.Now, work.Time, work.SliceId.Dll);
return(this.callClousotMain(args, outputFactory, this.db.AsEnumerable()));
}
finally
{
this.output.WriteLine(bufferedOutput.ToString());
}
}
