public static int Main(string[] args, IVerySimpleLineWriterWithEncoding lineWriter)
{
Contract.Requires(lineWriter != null);
string[] dummy;
return(ClousotViaService.Main2(args, lineWriter, out dummy));
}
// Here we invoke the remote service
protected override int CallClousotMain(string[] args, TextWriter output)
{
string[] dummy;
return(ClousotViaService.Main2(args, output, out dummy));
}
