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)); }