Update values

dynamic_timeout_presets
Bernhard Mueller 6 years ago
parent 68041ef123
commit 89d7d971c2
  1. 4
      mythril/support/dynamic_timeout.py

@ -10,8 +10,8 @@ def get_timeout(bytecode_length: int, mode: str) -> int:
:param mode: Preset mode (fast or deep) :param mode: Preset mode (fast or deep)
""" """
if mode == "fast": if mode == "fast":
return int(min(120, 15 * exp(bytecode_length / 6000))) return int(min(100, 15 * exp(bytecode_length / 6000)))
elif mode == "deep": elif mode == "deep":
return int(min(3600, 30 * exp(bytecode_length / 3000))) return int(min(1800, 30 * exp(bytecode_length / 3000)))
raise UnsupportedModeError raise UnsupportedModeError

Loading…
Cancel
Save