https://bugzilla.novell.com/show_bug.cgi?id=656787
https://bugzilla.novell.com/show_bug.cgi?id=656787#c1 --- Comment #1 from Vladimir Klebanov <[email protected]> 2010-12-01 13:28:51 UTC --- Created an attachment (id=402893) --> (http://bugzilla.novell.com/attachment.cgi?id=402893) Sample input file for Boogie. -- 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
