Module Goblint_lib.ThreadReturn

Thread returning analysis which abstracts a thread's call stack by a boolean, indicating whether it is at the topmost call stack frame or not (threadreturn).

val is_current : Queries.ask -> bool