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/options.ml

    r740 r1328  
    4040let interpretation_requested () = !interpretation_flag
    4141
     42let trace_flag         = ref false
     43let request_trace = (:=) trace_flag
     44let trace_requested () = !trace_flag
     45
    4246let debug_flag                  = ref false
    4347let set_debug                   = (:=) debug_flag
     
    7175  " Interpret the compiled code.";
    7276
     77  "-t", Arg.Set trace_flag,
     78  " Interpret the compiled code and print all label traces.";
     79
    7380  "-d", Arg.Set debug_flag,
    7481  " Debugging mode.";
Note: See TracChangeset for help on using the changeset viewer.