diff options
| author | Peter Sewell | 2014-11-03 18:03:21 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-03 18:03:21 +0000 |
| commit | be962424aad8ca31da2de67783d827e08e2694df (patch) | |
| tree | 5ea350aee3355aac89c19484cb5391543bfc1f3b /src | |
| parent | b495bb14b00844d69d183c2473620aef6f975961 (diff) | |
pp of initial index of bitvector
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index ff6e7770..f7da7ef5 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -49,7 +49,7 @@ let bitvec_to_string l = "0b" ^ collapse_leading (String.concat "" (List.map (fu let val_to_string v = match v with | Bitvector(bools, inc, fst)-> let l = List.length bools in (* (string_of_int l) ^ " bits -- 0b" ^ collapse_leading (String.concat "" (List.map (function | true -> "1" | _ -> "0") bools))*) - (string_of_int l) ^ "'b" ^ collapse_leading (String.concat "" (List.map (function | true -> "1" | _ -> "0") bools)) + (string_of_int l) ^ "_" ^ (string_of_int (Big_int.int_of_big_int fst)) ^ "'b" ^ collapse_leading (String.concat "" (List.map (function | true -> "1" | _ -> "0") bools)) | Bytevector words -> let l = List.length words in (*(string_of_int l) ^ " bytes -- " ^*) "0x" ^ |