diff options
author | Georgios Pinitas <georgios.pinitas@arm.com> | 2023-06-20 18:45:44 +0100 |
---|---|---|
committer | Georgios Pinitas <georgios.pinitas@arm.com> | 2023-06-20 18:45:44 +0100 |
commit | c8da1d2687cfcff90629c2cf770bb5f406002701 (patch) | |
tree | ba46b305a4de06a51a2f837cb2890ce32a60f008 /verif | |
parent | abdac23838fbab7c76dae8eac9174a61d390abba (diff) | |
download | reference_model-c8da1d2687cfcff90629c2cf770bb5f406002701.tar.gz |
Make verifiers to operate on const pointers
Signed-off-by: Georgios Pinitas <georgios.pinitas@arm.com>
Change-Id: I45287af6b33cf07383250dc962a97728e65697a7
Diffstat (limited to 'verif')
0 files changed, 0 insertions, 0 deletions