commit | 0e936516d16fda52e6586b28c88f3626e219c28a | [log] [tgz] |
---|---|---|
author | Mate Toth-Pal <mate.toth-pal@arm.com> | Thu Oct 19 15:02:20 2023 +0200 |
committer | Soby Mathew <soby.mathew@arm.com> | Fri Nov 03 14:18:38 2023 +0000 |
tree | 6dc8c5137d61bc482f94c0be0b917574a3a9bad8 | |
parent | 7e3727a11d4575211930edd2cf27cf610891ce00 [diff] |
refactor(cbmc): make granule related buffers global Change-Id: Ib31e826e9e98fd80d831f41408f32de274bfefad Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>