void UpdateVerificationData (string file)
{
LogLine ("Updating verification data `{0}' ...", file);
XmlWriterSettings s = new XmlWriterSettings ();
s.Indent = true;
using (XmlWriter w = XmlWriter.Create (new StreamWriter (file, false, Encoding.UTF8), s)) {
w.WriteStartDocument ();
w.WriteComment ("This file contains expected IL and metadata produced by compiler for each test");
w.WriteStartElement ("tests");
foreach (PositiveTestCase tc in tests) {
if (tc.VerificationProvider != null)
tc.VerificationProvider.WriteCodeInfoTo (w);
}
w.WriteEndElement ();
}
}
#endif