Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (10 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.ml

    r619 r740  
    4444let is_debug_enabled ()         = !debug_flag
    4545
     46(*
    4647let print_result_flag           = ref false
    4748let set_print_result            = (:=) print_result_flag
    4849let is_print_result_enabled ()  = !print_result_flag
     50*)
    4951
    5052let dev_test                    = ref false
     
    7577  " Prefix of the output files.";
    7678
     79(*
    7780  "-res", Arg.Set print_result_flag,
    7881  " Print the result of interpretations.";
     82*)
    7983
    8084  "-dev", Arg.Set dev_test,
Note: See TracChangeset for help on using the changeset viewer.