Code formatting

myth

@@ -335,7 +335,6 @@ if args.storage:
             position_formated = str(position).zfill(64)
             position = int(Web3.sha3(position_formated),16)
 
-
         try:
             if length == 1:
                 print("{}: ".format(position) + eth.eth_getStorageAt(args.address, position));
@@ -390,14 +389,13 @@ elif (args.graph) or (args.fire_lasers):
 
         for contract in contracts:
 
-            # try:
+            try:
                 if (args.dynld):
                     states = StateSpace([contract], dynloader=DynLoader(eth), max_depth=args.max_depth)
                 else:
                     states = StateSpace([contract], max_depth=args.max_depth)
-            # except Exception as e:
-            #   exitWithError(args.outform, "Symbolic exection error: " + str(e))               
-
+            except Exception as e:
+                exitWithError(args.outform, "Symbolic exection error: " + str(e))               
 
             issues = fire_lasers(states)
 

mythril/analysis/symbolic.py

@@ -92,4 +92,3 @@ class StateSpace:
             return None
         except KeyError:
             return None
-