diff options
author | Dmitrii Agibov <dmitrii.agibov@arm.com> | 2024-01-02 15:41:01 +0000 |
---|---|---|
committer | Eric Kunze <eric.kunze@arm.com> | 2024-01-05 19:29:29 +0000 |
commit | 2936f13d0e26c394333495ce909740eaf58a45cc (patch) | |
tree | 0b602d9389c93e1e1152b6abd18c66e8140f00a8 /reference_model/src/verify | |
parent | 54bb61effee583239d30ec6d4fda32c1a710050c (diff) | |
download | reference_model-2936f13d0e26c394333495ce909740eaf58a45cc.tar.gz |
Remove operators API
The operators API generated by the script is no longer used
and could be removed from the project.
Signed-off-by: Dmitrii Agibov <dmitrii.agibov@arm.com>
Change-Id: Ia611b069463b3aded7d6546987c2323674184673
Diffstat (limited to 'reference_model/src/verify')
0 files changed, 0 insertions, 0 deletions