diff options
| author | Peter Sewell | 2014-11-04 14:16:14 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-04 14:16:14 +0000 |
| commit | e57a7e2b21f49acd1e59f86b243e0c9b5bcdd05d (patch) | |
| tree | f793c8472eca6f284275f594640810c165431e49 /src | |
| parent | be962424aad8ca31da2de67783d827e08e2694df (diff) | |
K,P better instruction pp
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index f7da7ef5..8aaf3ee9 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -230,13 +230,14 @@ let instruction_state_to_string stack = let top_instruction_state_to_string stack = exp_to_string (top_frame_exp stack) let instr_parm_to_string (name, typ, value) = + name ^"="^ match (typ,value) with | Bit, Bitvector ([true],_,_) -> "1" | Bit, Bitvector ([false],_,_) -> "0" | Other,_ -> "Unrepresentable external value" | _, Unknown0 -> "Unknown" | _, v -> let intern_v = (Interp_inter_imp.intern_value value) in - match Interp_lib.to_num true intern_v with + match Interp_lib.to_num false intern_v with | V_lit (L_aux(L_num n, _)) -> string_of_big_int n | _ -> val_to_string value |