Current Debugging State

Information about the current debugging state includes the following:

• the top-level state of the debugger
• the type of leashing in force
• the action to be taken on undefined predicates
• all the current spypoints

This information can be displayed by calling debugging/0.