Options for Focusing on a Past State

The following ground terms can be used in the first argument of execution_state/2 (see Breakpoint Predicates). Alternatively, a list containing such terms can be used. In the latter case the focusing operations, described below, are performed in the specified order. Therefore, when both conditions are used, the list normally will have to be of form [break_level(...),inv(...)].

break_level(BL)

Focus on the current invocation of break level BL. BL is the break level number, the top-level being break_level(0). For past break levels, the current invocation is the one from which the next break level was entered.

inv(Inv)

Focus on the invocation number Inv of the currently focused break level.