- Timestamp:
- Mar 14, 2013, 10:46:38 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/cerco.ml
r2864 r2874 32 32 33 33 let argv1 = Sys.argv.(1) in 34 let do_print,filename =34 let do_print,filename,style = 35 35 if argv1 = "-exec" then 36 true,Sys.argv.(2) 36 true,Sys.argv.(2),(try Sys.argv.(3) with _ -> "instrumented") 37 37 else 38 false,argv1 in38 false,argv1,(try Sys.argv.(2) with _ -> "instrumented") in 39 39 let cl = ClightParser.process filename in 40 40 let observe = … … 59 59 let s_costmap = output.Extracted.Compiler.c_stack_cost in 60 60 let style = 61 match try Sys.argv.(2) with _ -> "instrumented"with61 match style with 62 62 | "plain" -> Cost_plain 63 63 | "numbered" -> Cost_numbered (l_costmap,s_costmap) … … 68 68 print_newline (); 69 69 print_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.