Up – Package index » goblint » Library goblint.lib » Goblint_lib » EvalAssert » EvalAssert

Module `EvalAssert.EvalAssert`

val surroundByAtomic : bool

val ass : GoblintCil.varinfo

val atomicBegin : GoblintCil.varinfo

val atomicEnd : GoblintCil.varinfo

class visitor : (?node:Node.t -> GoblintCil.Cil.location -> Queries.ask) -> object ... end

val transform : 
  (?node:Node.t -> GoblintCil.Cil.location -> Queries.ask) ->
  GoblintCil.file ->
  unit