Up – Package index » goblint » Library goblint.lib » ThreadReturn

Module `ThreadReturn`

Thread returning analysis.

goblint

val is_current : Queries.ask -> bool

module Spec : Analyses.MCPSpec