diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-22 19:52:12 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-04-20 11:42:23 +0100 |
| commit | c8ef08267fd5e67f40defac1ae692e8ec906fa3f (patch) | |
| tree | fa09f1ffa7bac2b2a75b6e32c67dd7cf904bce02 /lib/Core/Memory.cpp | |
| parent | 88893697f6630f0d281d21be6362489e616bca2f (diff) | |
| download | klee-c8ef08267fd5e67f40defac1ae692e8ec906fa3f.tar.gz | |
Added -max-static-pct-check-delay to replace the hardcoded delay after which the MaxStatic*Pct checks are performed.
Diffstat (limited to 'lib/Core/Memory.cpp')
0 files changed, 0 insertions, 0 deletions