| commit | db4f2127ad0a3880a1a23daa80091c8b5786c98c | [log] [tgz] |
|---|---|---|
| author | Mate Toth-Pal <mate.toth-pal@arm.com> | Tue Jun 20 11:08:50 2023 +0200 |
| committer | Soby Mathew <soby.mathew@arm.com> | Fri Nov 03 14:18:38 2023 +0000 |
| tree | 72f4483eff94625be76dd5d516f8f89fc03e97d7 | |
| parent | c08e0110f5cb8ce77aaee130046a7ef41e9fe4a8 [diff] |
refactor(lib/common): disable COMPILER_ASSERT for CBMC Change-Id: I946233622d175d08139963dead7f663e0ad947eb Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>