Rename format var and refactor mstore memory loop

mythril/interfaces/cli.py

@@ -17,8 +17,8 @@ from mythril.mythril import Mythril
 from mythril.version import VERSION
 
 
-def exit_with_error(format_type, message):
+def exit_with_error(format_, message):
-    if format_type == 'text' or format_type == 'markdown':
+    if format_ == 'text' or format_ == 'markdown':
         print(message)
     else:
         result = {'success': False, 'error': str(message), 'issues': []}

mythril/laser/ethereum/instructions.py

@@ -707,10 +707,8 @@ class Instruction:
 
         try:
             # Attempt to concretize value
-            _bytes = util.concrete_int_to_bytes(value)
+            bytes_ = util.concrete_int_to_bytes(value)
-
+            state.memory[mstart: mstart + len(bytes_)] = bytes_
-            for i, b in enumerate(_bytes):
-                state.memory[mstart + i] = b
         except:
             try:
                 state.memory[mstart] = value