Printing invariants before and after Houdini refinements

Dec 11, 2014 at 12:18 PM
I want to print the program invariants inferred by boogie before and after applying Houdini invariant refinement algorithm.
Is there any command line option or may be other way to do that?