diff options
| author | ᴀᴇꜱᴏᴘʜᴏʀ <m.aesophor@gmail.com> | 2021-10-30 21:56:42 +0800 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-11-02 11:06:57 +0000 |
| commit | a601685e34c61658f85d836a94f785192a5b426b (patch) | |
| tree | 72e57e7eaaa00f28a309e15faec122009e8148e4 /lib/Core/Memory.h | |
| parent | 95e1255fa864c4739da1d0bbd450d704de61a173 (diff) | |
| download | klee-a601685e34c61658f85d836a94f785192a5b426b.tar.gz | |
Core/Executor: use `nullptr` instead of `0`
Since KLEE requires C++14, we should prefer `nullptr` to plain `0`.
Diffstat (limited to 'lib/Core/Memory.h')
0 files changed, 0 insertions, 0 deletions