[Mono-bugs] [Bug 656787] New: type 0x20 not handled in do_mono_metadata_parse_type

bugzilla_noreply at novell.com bugzilla_noreply at novell.com
Wed Dec 1 08:25:12 EST 2010


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: mono-bugs at lists.ximian.com
        ReportedBy: klebanov at kit.edu
         QAContact: mono-bugs at lists.ximian.com
          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.


More information about the mono-bugs mailing list