diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-06-28 22:37:05 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-07-08 22:53:34 +0200 |
| commit | 3034ae5878f2b1f3216ab1a7d2706edf27c8ae4c (patch) | |
| tree | 40a12a228abade1a9140facaac81acc6e3b9e19d /scripts/klee-control | |
| parent | c8acc60e25a120f9b2c8f0773068c2ce963d947e (diff) | |
| download | klee-3034ae5878f2b1f3216ab1a7d2706edf27c8ae4c.tar.gz | |
Combine all `ConstantExpr::toMemory` cases into one.
Note that (as it did previously), this relies on the native types having the same internal representation as the ApInt type.
Diffstat (limited to 'scripts/klee-control')
0 files changed, 0 insertions, 0 deletions