package goblint

  1. Overview
  2. Docs

Module ExpressionEvaluation.ExpEval

val transform : (Cil.location -> Queries.ask) -> Cil.file -> unit