https://bugzilla.novell.com/show_bug.cgi?id=656787
https://bugzilla.novell.com/show_bug.cgi?id=656787#c0 Summary: type 0x20 not handled in do_mono_metadata_parse_type Classification: Mono Product: Mono: Runtime Version: 2.8.x Platform: i686 OS/Version: openSUSE 11.3 Status: NEW Severity: Normal Priority: P5 - None Component: misc AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] Found By: --- Blocker: --- User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US) AppleWebKit/534.10 (KHTML, like Gecko) Chrome/8.0.552.28 Safari/534.10 I'm trying to run Boogie (the Microsoft Research program verifier, http://boogie.codeplex.com/releases/view/48961 ) on Mono on Linux, but this is not working out well. I get: Boogie program verifier version 2, Copyright (c) 2003-2010, Microsoft. type 0x20 not handled in do_mono_metadata_parse_type on image /home/vladimir/Downloads/Boogie/Core.dll Unhandled Exception: System.TypeLoadException: Could not load type 'Typespec 0x1b000023'. at Microsoft.Boogie.Parser.ProcSignature (Boolean allowWhereClausesOnFormals, IToken& name, Microsoft.Boogie.TypeVariableSeq& typeParams, Microsoft.Boogie.VariableSeq& ins, Microsoft.Boogie.VariableSeq& outs, Microsoft.Boogie.QKeyValue& kv) [0x00000] in <filename unknown>:0 at Microsoft.Boogie.Parser.Procedure (Microsoft.Boogie.Procedure& proc, Microsoft.Boogie.Implementation& impl) [0x00000] in <filename unknown>:0 at Microsoft.Boogie.Parser.BoogiePL () [0x00000] in <filename unknown>:0 at Microsoft.Boogie.Parser.Parse () [0x00000] in <filename unknown>:0 at Microsoft.Boogie.Parser.Parse (System.String filename, System.Collections.Generic.List`1 defines, Microsoft.Boogie.Program& program) [0x00000] in <filename unknown>:0 at Microsoft.Boogie.OnlyBoogie.ParseBoogieProgram (System.Collections.Generic.List`1 fileNames, Boolean suppressTraceOutput) [0x00000] in <filename unknown>:0 at Microsoft.Boogie.OnlyBoogie.ProcessFiles (System.Collections.Generic.List`1 fileNames) [0x00000] in <filename unknown>:0 at Microsoft.Boogie.OnlyBoogie.Main (System.String[] args) [0x00000] in <filename unknown>:0 Reproducible: Always Steps to Reproduce: 1. Download Boogie from http://boogie.codeplex.com/releases/view/48961 2. Run mono Boogie.exe monapoli.bpl 3. -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug. You are the assignee for the bug. _______________________________________________ mono-bugs maillist - [email protected] http://lists.ximian.com/mailman/listinfo/mono-bugs
