Show option commands

set show stats on . / set show stats off .

Determines whether the number of rewrites is printed with the results of the reduce, rewrite, and continue commands in Section 16.2. Default is on.

set show loop stats on . / set show loop stats off .

As above but for loop mode.

set show timing on . / set show timing off .

Determines whether the cpu and real time used during rewriting is printed with the results of the reduce, rewrite, and continue commands in Section 16.2. Default is on.

set show loop timing on . / set show loop timing off .

As above but for loop mode.

set show command on . / set show command off .

Determines whether the full form of certain commands is printed before they are executed. Default is on.

set show breakdown on . / set show breakdown off .

Determines whether a breakdown of rewrites is dispayed. Default is off.

set show gc on . / set show gc off .

Determines which message is printed when a garbage collect is performed. Default is off.

set show advisories on . / set show advisories off .

Determines whether advisories are displayed. Default is on.