Is there a way to view the proof obligations produced by Boogie?

Apr 22, 2014 at 6:50 PM
The closest I could find was the /proverLog option, but it would be nice to see the proof obligations in some human readable format!

thanks