diff options
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; |