diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-06-28 15:13:50 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-07-08 22:53:34 +0200 |
| commit | c8acc60e25a120f9b2c8f0773068c2ce963d947e (patch) | |
| tree | d87dab04609919ffa39d8f4449c9e5f7801cad62 /lib/Solver/Z3Solver.h | |
| parent | 1fb67ef82f2d1e79a2cdb9d12bf05b3514dd45a3 (diff) | |
| download | klee-c8acc60e25a120f9b2c8f0773068c2ce963d947e.tar.gz | |
Using std::memcpy prevents alignment problems and removes an unnecessary special case
Diffstat (limited to 'lib/Solver/Z3Solver.h')
0 files changed, 0 insertions, 0 deletions