]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - clightInterpret.mli
93e016347fbc856a53b866cc55a47e36442be195
[pkg-cerco/acc.git] / 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