source: Deliverables/D2.2/8051/src/dev_test.ml @ 530

(** A playground function for developers where they can test very specific
    functionalities not available in the compiler.
    It is called with the -dev option.
    [filenames] are the file names given in the command line when calling
    acc. *)

let do_dev_test (filenames : string list) : unit =

  let f filename =

    ASMInterpret.parse_and_interpret_hex filename

(*
    let print = false in
    let interpret = false in
    let labelize = false in
    let target = Languages.ASM in
    let p = Languages.parse Languages.Clight filename in
    let p = if labelize then Languages.labelize p else p in
    let ps = Languages.compile false Languages.Clight target p in
    let f f' p = match Languages.language_of_ast p with
      | l when l = target -> f' p
      | _ -> ()
    in
    if print then List.iter (f (Languages.save filename)) ps ;
    if interpret then List.iter (f (fun p -> ignore (Languages.interpret p))) ps
*)
  in

  List.iter f filenames