diff options
| author | Robert Norton | 2018-03-02 13:36:04 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-02 13:44:11 +0000 |
| commit | 38ea40a8c9764fa6600141f5ec13d4b5c81d80b7 (patch) | |
| tree | a514a15050a12328f0be5cff1bd27f7741360c51 /cheri | |
| parent | 981f17bd983f152fd25dca6b834c0bccfc60469f (diff) | |
add space in cap dump format to match that expected by test framework.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index ac9d4a89..c11bfc8d 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -410,6 +410,6 @@ function capToString cap = function dump_cp2_state () = { print(concat_str("DEBUG CAP PCC", capToString(capRegToCapStruct(PCC)))); foreach(i from 0 to 31) { - print(concat_str("DEBUG CAP REG", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i)))))) + print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i)))))) } }
\ No newline at end of file |