Enable state merge by default

mythril/interfaces/cli.py

@@ -465,7 +465,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser):
         help="enable coverage based search strategy",
     )
     options.add_argument(
-        "--enable-state-merging", action="store_true", help="enables state merging",
+        "--disable-state-merging", action="store_true", help="Disables state merging",
     )
     options.add_argument(
         "--custom-modules-directory",
@@ -669,7 +669,7 @@ def execute_command(
             custom_modules_directory=args.custom_modules_directory
             if args.custom_modules_directory
             else "",
-            enable_state_merging=args.enable_state_merging,
+            enable_state_merging=not args.disable_state_merging,
         )
 
         if not disassembler.contracts:

mythril/laser/ethereum/plugins/implementations/state_merge.py

@@ -25,7 +25,6 @@ class StateMerge(LaserPlugin):
 
         @symbolic_vm.laser_hook("stop_sym_trans")
         def execute_stop_sym_trans_hook(svm: LaserEVM):
-            log.info(svm.open_states)
 
             open_states = svm.open_states