translation.reverse_debugger¶
- name: reverse_debugger
- description: Give an executable that writes a log file for reverse debugging
- command-line: –revdb
- command-line for negation: –no-revdb
- option type: boolean option
- default: False
- requirements:
- translation.split_gc_address_space must be set to ‘True’
- translation.jit must be set to ‘False’
- translation.gc must be set to ‘boehm’
- translation.continuation must be set to ‘False’