diff options
| author | Peter Sewell | 2014-11-23 16:59:20 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 16:59:20 +0000 |
| commit | 9d61b77442d75685c533e2c0e4c8a75bc219b792 (patch) | |
| tree | 1703333cfed501231c5e6b563385b98117aa6bac /src/lem_interp/printing_functions.ml | |
| parent | adb18ab321740919fa66967bae4705996f602525 (diff) | |
wib
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index a8eebf97..46c7d227 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -90,7 +90,7 @@ let hex_int_to_string i = let bytes_lifted_homogenous_to_string = function | Bitslh_concrete bs -> - let i = Big_int.int_of_big_int (Interp_interface.integer_of_bit_list (List.rev bs)) in + let i = Big_int.int_of_big_int (Interp_interface.integer_of_bit_list bs) in hex_int_to_string i | Bitslh_undef -> "uu" | Bitslh_unknown -> "??" @@ -116,7 +116,7 @@ let bit_lifteds_to_string (bls: bit_lifted list) (starto : int option) = | None -> (* print as bitvector after all *) simple_bit_lifteds_to_string bls starto | Some (byteslhs: bits_lifted_homogenous list) -> - let s = String.concat "" (List.map bytes_lifted_homogenous_to_string (List.rev byteslhs)) in + let s = String.concat "" (List.map bytes_lifted_homogenous_to_string byteslhs) in match starto with | None -> "0x" ^ s | Some start -> "0x" ^ "_" ^string_of_int start ^"'" ^ s @@ -397,8 +397,8 @@ let rec instr_parms_to_string ps = let pad n s = if String.length s < n then s ^ String.make (n-String.length s) ' ' else s let instruction_to_string (name, parms, base_effects) = - raise (Failure "TODO instruction_to_string") -(* (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms *) +(* "TODO instruction_to_string"*) + (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms let print_backtrace_compact printer stack = List.iter (fun (e,(env,mem)) -> print_exp printer env e) (compact_stack stack) let print_continuation printer stack = let (e,(env,mem)) = top_frame_exp_state stack in print_exp printer env e |