diff options
| author | Kathy Gray | 2016-09-13 14:07:09 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-13 14:07:17 +0100 |
| commit | e354b3dfac6ce4bd2dda99edc3fa2c91ed4c5b88 (patch) | |
| tree | c28cf94d42ee04f92dd214bf068f3ae2cbfae412 /src/lem_interp/printing_functions.ml | |
| parent | b4323d7b1ac849d555ea699503bd67510142f8c3 (diff) | |
Add optional address to memv events
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index ad423fd9..a1c49796 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -385,8 +385,8 @@ let rec format_events = function " Write_ea at " ^ (memory_value_to_string E_big_endian location) ^ ", based on registers " ^ format_tracking tracking ^ " across " ^ (string_of_int length) ^ " bytes\n" ^ (format_events events) - | (E_write_memv(value, v_tracking))::events -> - " Write_ea of " ^ (memory_value_to_string E_big_endian value) ^ ", based on registers " ^ + | (E_write_memv(_, value, v_tracking))::events -> + " Write_memv of " ^ (memory_value_to_string E_big_endian value) ^ ", based on registers " ^ format_tracking v_tracking ^ "\n" ^ (format_events events) | ((E_barrier b_kind)::events) -> |