Changeset 2805
- Timestamp:
- Mar 7, 2013, 2:01:40 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/exec_all.ml
r2804 r2805 14 14 ;; 15 15 16 let run_and_print pre_classified_system prog =16 let run_and_print label pre_classified_system prog = 17 17 let prog = Obj.magic prog in 18 18 let fullexec = Extracted.Measurable.pcs_exec pre_classified_system in … … 25 25 in 26 26 let rec infinity = Extracted.Nat.S infinity in 27 print_string label; 27 28 let {Extracted.Types.fst = trace; snd = res} = 28 29 Extracted.Measurable.observe_all_in_measurable infinity … … 41 42 let mid = 42 43 match Extracted.Compiler.front_end cl with 43 | OK o -> Extracted.Types.snd o 44 | Error m -> failwith (Error.errormsg m) 45 in 46 run_and_print Extracted.Clight_classified_system.clight_pcs cl 44 | OK o -> o 45 | Error m -> failwith (Error.errormsg m) in 46 let acl = Extracted.Types.snd (Extracted.Types.fst mid) in 47 run_and_print "Clight: " Extracted.Clight_classified_system.clight_pcs cl; 48 run_and_print "LClight: " Extracted.Clight_classified_system.clight_pcs cl
Note: See TracChangeset
for help on using the changeset viewer.