-
Notifications
You must be signed in to change notification settings - Fork 5
switch statistics
Norbert Preining edited this page Oct 6, 2017
·
1 revision
Possible values: on off, default on.
After each reduction details about the reduction are shown. Information shown are the time for parsing the expression, the number of rewrites and run time during rewriting, and the number of total matches performed during the reduce.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team