- Timestamp:
- Oct 7, 2011, 5:47:39 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightInterpret.ml
r1319 r1328 152 152 LocalEnv.fold f lenv "" 153 153 154 let print_state = function154 let print_state state = (match state with 155 155 | State (_, stmt, _, lenv, mem, c) -> 156 Printf.printf "Local environment:\n%s\n\nMemory:%s\nLoop indexing: "156 Printf.printf "Local environment:\n%s\n\nMemory:%s\nLoop indexing: " 157 157 (string_of_local_env lenv) 158 158 (Mem.to_string mem); … … 168 168 (Mem.to_string mem) 169 169 (Value.to_string v) 170 ); Printf.printf "---------------------------------------------------------\n" 170 171 171 172
Note: See TracChangeset
for help on using the changeset viewer.