Hello, How do I trace the evaluation of a predicate only when a specified set of arguments is passed to this predicate? So far I have been using spy(my_predicate) to creep through the evaluation of my_predicate during program execution. However, this has recently become tedious as there are numero…

[image] aminemarref: Is there another trick up your sleeve? Just use n(odebug) (c(ontinue) in the non-GUI tracer) or l(eap)? The next time it traps gtrace it will restart tracing. Note that leap implies debug mode. The debug mode pushes a dummy choice point for each otherwise determinis…

Debugging: Tracing the Execution of a Specific Goal

Help!

EricGT September 9, 2019, 1:00pm 6

I try to collect them in Wiki: Bug hunting toolbox

2 Likes

Topic		Replies	Views
Spy on condition? Help!	3	653	April 12, 2019
Debug mode and trace points Help!	1	509	November 3, 2020
Mark some predicates as "never trace"? Help!	1	300	June 24, 2019
Exclude certain predicates from a trace? Help!	4	1245	June 12, 2019
Idea for SSU debugging feature - skip the guard statements at the start General ssu	8	406	February 3, 2023

Debugging: Tracing the Execution of a Specific Goal

Related topics