TestStackTraceImpl

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

A short test max duration, used for queries expected to resolve almost immediately.

Same theory as testSimpleStackTrace, but with the query wrapped in findall(X, foo(X), L); the resulting logicStackTrace gains one extra findall/3 frame between foo/1 and the top-level ?-/1.

Tests the query

Same query as testTripleStackTrace, but with baz/1's body replaced by throw(x): the resulting halt is a SystemError wrapping the uncaught x, and its logicStackTrace does not include a frame for throw/1 itself — only [baz/1, bar/1, foo/1, bagof/3, findall/3, ?-/1] — since a throw/1 call does not push a stack frame the way a user-defined goal invocation does.

Same theory as testSimpleStackTrace, but with the query wrapped in findall(X, bagof(Z, foo(Z), X), L); the resulting logicStackTrace gains both a bagof/3 and a findall/3 frame, in that order, between foo/1 and the top-level ?-/1.