diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/warp/src/matcher.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/warp/src/matcher.rs b/plugins/warp/src/matcher.rs index bd4e0df6..59a26fcf 100644 --- a/plugins/warp/src/matcher.rs +++ b/plugins/warp/src/matcher.rs @@ -22,7 +22,8 @@ use crate::cache::{cached_call_site_constraints, cached_function_match, try_cach use crate::convert::to_bn_type; use crate::plugin::on_matched_function; -pub const TRIVIAL_FUNCTION_DELTA_THRESHOLD: u64 = 8; +// TODO: Make this configurable. +pub const TRIVIAL_FUNCTION_DELTA_THRESHOLD: u64 = 20; pub static PLAT_MATCHER_CACHE: OnceLock<DashMap<PlatformID, Matcher>> = OnceLock::new(); |