Miscellaneous
- --purge-rules
- Remove any statements involving implications
- --purge
- Remove any statement involving anything which is in class
log:Chaff
- --with
- All following arguments are passed to the rules (available with
os:argv
built-in functio n) and are not interpreted by
cwm.
- --chatty=50
- Verbosity levels can be set to 0 through 99.
- --strings
- Dump :s to stdout ordered by :k wherever { :k log:outputString :s
}
- --help
- A more copmplete listing of command line arguments
(end of section)