Ignore:
Timestamp:
Oct 7, 2011, 5:47:39 PM (9 years ago)
Author:
tranquil
Message:
  • bug in ClightUtilities?.find_max_depth_lbld fixed
  • single-entry loop detection completed
  • work on Clight completed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightInterpret.ml

    r1319 r1328  
    152152  LocalEnv.fold f lenv ""
    153153
    154 let print_state = function
     154let print_state state = (match state with
    155155  | 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: "
    157157      (string_of_local_env lenv)
    158158      (Mem.to_string mem);
     
    168168      (Mem.to_string mem)
    169169      (Value.to_string v)
     170        ); Printf.printf "---------------------------------------------------------\n"
    170171
    171172
Note: See TracChangeset for help on using the changeset viewer.