package goblint
Module ThreadReturn
Thread returning analysis.
val is_current : Queries.ask -> boolmodule Spec : Analyses.MCPSpecThreadReturnThread returning analysis.
val is_current : Queries.ask -> boolmodule Spec : Analyses.MCPSpec