diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-10-23 16:56:46 +0100 |
---|---|---|
committer | Eric Kunze <eric.kunze@arm.com> | 2023-10-24 21:22:43 +0000 |
commit | 452ba703699657ab3719fd38be42b6719b0cf960 (patch) | |
tree | 298686b2cd5a00c8185779d90b4ab8951acf4d1c /reference_model/src/verify/verify_exact.cc | |
parent | 29e46cfdbcdf87e9ef7fc4be8cdda64d2d88a6cc (diff) | |
download | reference_model-452ba703699657ab3719fd38be42b6719b0cf960.tar.gz |
Catch when CONSTs aren't initialized
CONST data should be either data in the flatbuffer file or loaded
in via an input file. This check catches if neither of these have
been done, instead of marking uninitialized data as valid.
Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I97dc2254f0b58c05c39cc0281a331a394c2a4b3c
Diffstat (limited to 'reference_model/src/verify/verify_exact.cc')
0 files changed, 0 insertions, 0 deletions