verilog-batch-diff-auto
verilog-batch-diff-auto is a compiled Lisp function in `verilog-mode.el
'.
(verilog-batch-diff-auto)
For use with --batch, perform automatic differences as a stand-alone tool.
This sets up the appropriate Verilog mode environment, expand automatics
with M-x verilog-diff-auto on all command-line files, and reports an error
if any differences are observed. This is appropriate for adding to regressions
to insure automatics are always properly maintained.