mprof_merge_runs1
Mercury profiling utility
Usage
mmc --profiling
my_program
mprof_merge_runs
mprof_merge_runs
mprof_merge_runs
mprof {-c | more}
Note:
If you
just
want
to
run
your
program
N
times
with
is to
instead
use
the
`-r<N>'
("repeat
N
times")
setting the
environment
variable
MERCURY_OPTIONS,
e.g.
env MERCURY_OPTIONS=-r100
./my_program
Overview
mprof_merge_runs merges the profiling data from different runs of a profiled Mercury program, for use by `mprof'.
Notes
mprof_merge_runs is one of the development tools that are part of the Mercury distribution.
This manual page is limited to a brief summary. For further information see the Mercury User's Guide.
Options
-h, --help
Print this help message.
Releases
4 releases since Debian 2.0 (Hamm); the text changed 2 times.