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/Executor.h | |
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/Executor.h')
-rw-r--r-- | lib/Core/Executor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index ae960731..db8e508c 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -205,6 +205,9 @@ private: /// Maximum time to allow for a single instruction. time::Span maxInstructionTime; + /// Time after which the --max-static-*-pct checks are enforced + time::Span maxStaticPctCheckDelay; + /// Assumes ownership of the created array objects ArrayCache arrayCache; |