package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
doc/goblint.lib/Goblint_lib/ExtractPthread/Codegen/Action/index.html
Module Codegen.Action
include module type of struct include Action end
type thread = Action.thread = {tid : thread_id;f : GoblintCil.Cil.varinfo;(*a function being called
*)
}uniquely identifies the function call ** created/defined by `fun_ctx` function
type t = Action.t = | Call of fun_call_id| Assign of string * string| Cond of string| ThreadCreate of thread| ThreadJoin of thread_id| ThreadExit| MutexInit of mutex_id| MutexLock of mutex_id| MutexUnlock of mutex_id| CondVarInit of cond_var_id| CondVarBroadcast of cond_var_id| CondVarSignal of cond_var_id| CondVarWait of cond_wait| Nop
ADT of all possible edge actions types
val to_pml : t -> string