| commit | c751c0d975b6f1d76a18e045b869c8f824069349 | [log] [tgz] |
|---|---|---|
| author | Mate Toth-Pal <mate.toth-pal@arm.com> | Tue Nov 14 16:56:41 2023 +0100 |
| committer | Soby Mathew <soby.mathew@arm.com> | Mon Jan 22 15:00:36 2024 +0100 |
| tree | 17330644772f0b30ba7fb4f50448c943e947e2ee | |
| parent | 988dfcbec4431638aa39a6a893b9b53264449d55 [diff] |
feat(tools/cbmc): add testbench for RMI_REALM_ACTIVATE Changes to the RMM code: - Set MAX_MEASUREMENT_SIZE to 8 bytes for CBMC, to be in sync with the 'struct rmm_realm' definition in the CBMC testbench - Define separate RPV_SIZE value for CBMC so that struct rd fits in a CBMC granule - The vmids array should have global visibility when compiling for CBMC Change-Id: I41c330c15e0e8d4fbbd506a068f9533f6a79e403 Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>