diff options
| author | Peter Sewell | 2014-10-30 16:23:50 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-10-30 16:23:50 +0000 |
| commit | f77c8772511be123bf3178ac486bc622d3bab008 (patch) | |
| tree | cc3015d4ddacdd4d6d157d5ad8ead9ff5eb0d356 /src | |
| parent | 522bf4239ab999190fbb173aa7138efb43f8dc03 (diff) | |
more compact pp of binary values (following verilog literal syntax)
(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
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 369e55a9..ff6e7770 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -48,7 +48,8 @@ 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) ^ " 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)) | Bytevector words -> let l = List.length words in (*(string_of_int l) ^ " bytes -- " ^*) "0x" ^ |