Changeset 3005 for driver/acc.ml


Ignore:
Timestamp:
Mar 28, 2013, 1:49:21 PM (7 years ago)
Author:
sacerdot
Message:

Beginning of making it fully compatible with untrusted one.

File:
1 moved

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3003 r3005  
    3333;;
    3434
     35(*
    3536let argv1 = Sys.argv.(1) in
    3637let do_exec,filename =
     
    3940 else
    4041  false,argv1 in
     42*)
     43List.iter (fun filename ->
     44let do_exec = Options.interpretations_requested () in
    4145let cl = ClightParser.process filename in
    4246let observe =
     
    7276output_string och instrumented;
    7377close_out och
     78) (OptionsParsing.results ())
Note: See TracChangeset for help on using the changeset viewer.