diff options
| author | Robert Norton | 2017-04-21 12:42:39 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-21 12:42:39 +0100 |
| commit | 988e3f0f9bb5e00b9eb02c804018ae782678d715 (patch) | |
| tree | 8c2f65090071d2f9eade89416dbd2756d9da62d0 | |
| parent | e258d0337c27701f09dc1e6d8180ef95078c230a (diff) | |
suppress register field tracing if not enabled (missed in previous commit)
| -rw-r--r-- | src/gen_lib/sail_values.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index 3c194764..29f814fe 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -209,7 +209,8 @@ let set_register_bit_int reg n v = match reg with | Vregister(array,start,inc,name,fields) -> begin - tracef "%s[%d] <- %s\n" name n (string_of_bit v); + if !trace_writes then + tracef "%s[%d] <- %s\n" name n (string_of_bit v); (!array).(if inc then (n - start) else (start - n)) <- v end | _ -> failwith "set_register_bit of non-register" |