diff options
| author | Gleb Popov <6yearold@gmail.com> | 2021-12-26 18:10:49 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-01-04 08:43:54 +0000 |
| commit | 5bdbaa464e836ef499b48136edee53fa658e1d68 (patch) | |
| tree | 504f3d326310f60ed6e5d6d84d6a6fdcdb73669c /lib | |
| parent | cbd82eaa692cb2ae503ab842f5997ad3e40ded9b (diff) | |
| download | klee-5bdbaa464e836ef499b48136edee53fa658e1d68.tar.gz | |
Use more precise version check for selecting swapoff() signature.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions