Next: , Previous: , Up: Grade options   [Contents][Index]


9.5.5 Debugging grade options


--debug (grade modifier: ‘.debug’)

Enable Mercury-level debugging. See Debugging for details. This option is supported only when targeting C with ‘--no-high-level-code’.


--decl-debug (grade modifier: ‘.decldebug’)

Enable full support for declarative debugging. This allows subterm dependency tracking in the declarative debugger. See Debugging for details. This option is supported only when targeting C with ‘--no-high-level-code’.