| commit | 7e3727a11d4575211930edd2cf27cf610891ce00 | [log] [tgz] |
|---|---|---|
| author | Mate Toth-Pal <mate.toth-pal@arm.com> | Thu Jul 20 15:21:25 2023 +0200 |
| committer | Soby Mathew <soby.mathew@arm.com> | Fri Nov 03 14:18:38 2023 +0000 |
| tree | a2761c6e3395045fb3b922eb007558d2f2f6a051 | |
| parent | 90194f537e7c5e2f38810231a30be4e270c13105 [diff] |
feat(cbmc): add macros to conditionally compile code blocks Change-Id: I289a972f1d2f80085127dd6ea963cc2e9a9dd7bd Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>