diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-04-01 13:22:38 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-18 13:09:24 +0100 |
| commit | adfca64fdbcfd75d42b7a069d27ddbb0228e9eff (patch) | |
| tree | 72fea41d16a28a10b14305fdf47af4cc3875a51a /examples | |
| parent | 02b52541c5e8262e7f7a909d90fb898399d822bd (diff) | |
| download | klee-adfca64fdbcfd75d42b7a069d27ddbb0228e9eff.tar.gz | |
change some obsolete KDAlloc comments
- mappings were only shared in a former version of KDAlloc - `AllocationFactory(std::size_t, std::uint32_t)`'s second parameter is used for quarantine size, not the location of the mapping
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions