Change loopbound default in symbolic.py

5 years ago · dea8d373d1
parent 9cca9f3716
commit dea8d373d1
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@ -47,7 +47,7 @@ class SymExecWrapper:
        dynloader=None,
        max_depth=22,
        execution_timeout=None,
-        loop_bound=4,
+        loop_bound=3,
        create_timeout=None,
        transaction_count=2,
        modules=(),