protected void RunVerifierTestCase (string file) { string boo = GetBooFile (file); string asm = GetTempFileName (); WriteAssemblyScript was = CompileBooFile<WriteAssemblyScript> (boo); was.DefineAssembly (file); was.Run (); AssemblyFactory.SaveAssembly (was.ASM, asm); IVerifier verifier = new ManagedVerifier (AssemblyFactory.GetAssembly (asm)); VerifierResult result = verifier.Run (); RunAndAssertOutput (boo, delegate { foreach (ResultItem item in result.GetItems ()) Console.WriteLine (item); }); }
protected void RunVerifierTestCase(string file) { string boo = GetBooFile(file); string asm = GetTempFileName(); WriteAssemblyScript was = CompileBooFile <WriteAssemblyScript> (boo); was.DefineAssembly(file); was.Run(); AssemblyFactory.SaveAssembly(was.ASM, asm); IVerifier verifier = new ManagedVerifier(AssemblyFactory.GetAssembly(asm)); VerifierResult result = verifier.Run(); RunAndAssertOutput(boo, delegate { foreach (ResultItem item in result.GetItems()) { Console.WriteLine(item); } }); }