diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-05-16 15:23:11 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 21:01:54 +0100 |
| commit | 7667c5c71748f319f2b8b2e7fb0cbc884bde04d4 (patch) | |
| tree | 4a9a6ebe782689b7fb8842fd9c68284fa7546a66 /Dockerfile | |
| parent | 8500a8190fe61dd9240d91baf849cba0cc859b82 (diff) | |
| download | klee-7667c5c71748f319f2b8b2e7fb0cbc884bde04d4.tar.gz | |
Use unique_ptr for MemoryManager and avoid re-creating it in the first place
No need to re-create and re-alloc all the memory again after execution.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions