Controlling trace goals (The Mercury User’s Guide)

Next: Preparing code for mdb debugging, Previous: Options that ask for informational files, Up: Invocation [Contents][Index]

11.13 Controlling trace goals

--trace-flag keyword
–no-trace-flag: Enable the trace goals that depend on the keyword trace flag.