+ <option>-ddump-simpl-phases</option>:
+ <indexterm><primary><option>-ddump-simpl-phases</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Show the output of each run of the simplifier. Used when even
+ <option>-dverbose-simpl</option> doesn't cut it.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>