Changeset 3005 for driver/acc.ml

Timestamp:

Mar 28, 2013, 1:49:21 PM (8 years ago)

Author:

sacerdot

Message:

Beginning of making it fully compatible with untrusted one.

File:

• driver/acc.ml (moved) (moved from driver/cerco.ml) (3 diffs)

driver/acc.ml

@@ -33 +33 @@
 ;;
 
+(*
 let argv1 = Sys.argv.(1) in
 let do_exec,filename =
@@ -39 +40 @@
  else
   false,argv1 in
+*)
+List.iter (fun filename ->
+let do_exec = Options.interpretations_requested () in
 let cl = ClightParser.process filename in
 let observe =
@@ -72 +76 @@
 output_string och instrumented;
 close_out och
+) (OptionsParsing.results ())