source:
Deliverables/D2.3/8051/src/clight/clightInterpret.mli
@
460
| Last change on this file since 460 was 453, checked in by , 9 years ago | |
|---|---|
| File size: 230 bytes | |
| Rev | Line | |
|---|---|---|
| [453] | 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 | val interpret: bool -> Clight.program -> AST.trace |
Note: See TracBrowser
for help on using the repository browser.
