Changeset 1328 for Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightInterpret.ml

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:

• Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightInterpret.ml (modified) (2 diffs)

Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightInterpret.ml

@@ -152 +152 @@
   LocalEnv.fold f lenv ""
 
-let print_state = function
+let print_state state = (match state with
   | State (_, stmt, _, lenv, mem, c) ->
-    Printf.printf "Local environment:\n%s\n\nMemory:%s\nLoop indexing:"
+    Printf.printf "Local environment:\n%s\n\nMemory:%s\nLoop indexing: "
       (string_of_local_env lenv)
       (Mem.to_string mem);
@@ -168 +168 @@
       (Mem.to_string mem)
       (Value.to_string v)
+        ); Printf.printf "---------------------------------------------------------\n"