-
rl@cse.unsw.edu.au authored
This outputs the core after each simplifier phase (i.e., it produces less information that -ddump-simpl-iterations).
c412fa2e
This outputs the core after each simplifier phase (i.e., it produces less information that -ddump-simpl-iterations).