New flag: -ddump-simpl-phases
This outputs the core after each simplifier phase (i.e., it produces less information that -ddump-simpl-iterations).
Showing
Please register or sign in to comment
This outputs the core after each simplifier phase (i.e., it produces less information that -ddump-simpl-iterations).