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