package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mt_thread.ThreadStateSource

Sourceval is_main : t -> bool
Sourceval label : t -> string

The name of the thread

Prints the name of the thread

Prints the name of the thread with detailed informations

Sourceval equal : t -> t -> bool

Equality based on thread id

Sourceval one_creates_other : t -> t -> [ `Creates of t * t | `Unrelated ]

one_creates_other th1 th2 returns `Creates (th1, th2) if th1 creates th2 directly or through another threads, `Creates(th2, th1) if th2 creates th1, and `Unrelated otherwise

Sourceval recompute_because : t -> recompute_reason -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct