src/clight/clightInterpret.mli

   1 (** This module provides a function to interpret a [Clight] program
   2     and return the trace of cost labels encountered. This function
   3     can also print debug informations.  *)
   4
   5 (** [interpret debug p] returns the trace of execution of program [p]. *)
   6
   7 val interpret: bool -> Clight.program -> AST.trace