Merge branch 'develop' into annotations_to_union

5 years ago · 47626e771d
parent be71ddedf8 85efb2da4b
commit 47626e771d
1 changed files with 1 additions and 1 deletions
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@ -329,7 +329,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser):
        "-b",
        "--loop-bound",
        type=int,
-        default=4,
+        default=2,
        help="Bound loops at n iterations",
        metavar="N",
    )