Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_register

type 'v result = 'v Mt_utils.Result.t
type thread_status = {
  1. running : Mt_utils.trilean;
  2. canceled : Mt_utils.trilean;
}
module Thread : sig ... end
type mutex_status =
  1. | Locked
  2. | Unlocked
module Mutex : sig ... end