Goblint_lib.RelationCil
CIL utilities for relational analyses.
module type Tracked = sig ... end
module TypeTracked : sig ... end
module Tracked : Tracked
To be used in relational analyses.
module AutotuneTracked : Tracked
To be used in autotuner.