Changeset 2874


Ignore:
Timestamp:
Mar 14, 2013, 10:46:38 PM (4 years ago)
Author:
sacerdot
Message:

Syntax fixed: ./cerco [-exec] filename annotationoption

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2864 r2874  
    3232
    3333let argv1 = Sys.argv.(1) in
    34 let do_print,filename =
     34let do_print,filename,style =
    3535 if argv1 = "-exec" then
    36   true,Sys.argv.(2)
     36  true,Sys.argv.(2),(try Sys.argv.(3) with _ -> "instrumented")
    3737 else
    38   false,argv1 in
     38  false,argv1,(try Sys.argv.(2) with _ -> "instrumented") in
    3939let cl = ClightParser.process filename in
    4040let observe =
     
    5959let s_costmap = output.Extracted.Compiler.c_stack_cost in
    6060let style =
    61   match try Sys.argv.(2) with _ -> "instrumented" with
     61  match style with
    6262  | "plain" -> Cost_plain
    6363  | "numbered" -> Cost_numbered (l_costmap,s_costmap)
     
    6868print_newline ();
    6969print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));
    70 
Note: See TracChangeset for help on using the changeset viewer.