@c "cmd/trace-dump.texi"
@c extracted from "../../src/sim/chpsim/Command.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command trace-dump file
Produce textual dump of trace file contents in @var{file}.
@end deffn

