private void PrintVerifyMethodsResult(VerificationResult result, string pathOrModuleName) { Write("[IL]: Error: "); Write("["); Write(pathOrModuleName); Write(" : "); //MetadataReader metadataReader = module.MetadataReader; //TypeDefinition typeDef = metadataReader.GetTypeDefinition(metadataReader.GetMethodDefinition(result.Method).GetDeclaringType()); //string typeName = metadataReader.GetString(typeDef.Name); //Write(typeName); //Write("::"); //var method = (EcmaMethod)module.GetMethod(result.Method); //PrintMethod(method); Write("]"); if (result.Code != VerifierError.None) { Write("[offset 0x"); Write(result.GetArgumentValue <int>("Offset").ToString("X8")); Write("]"); if (result.TryGetArgumentValue("Found", out string found)) { Write("[found "); Write(found); Write("]"); } if (result.TryGetArgumentValue("Expected", out string expected)) { Write("[expected "); Write(expected); Write("]"); } if (result.TryGetArgumentValue("Token", out int token)) { Write("[token 0x"); Write(token.ToString("X8")); Write("]"); } } Write(" "); WriteLine(result.Message); }