Fixed Python formatting issues

Author: zvonimir

share/smack/frontend.py

@@ -3,8 +3,7 @@
 import re
 import json
 from .utils import temporary_file, try_command, temporary_directory,\
-    llvm_exact_bin, smack_root, smack_header_path, smack_headers,\
-    smack_lib
+    llvm_exact_bin, smack_headers, smack_lib
 from .versions import RUST_VERSION
 
 # Needed for cargo operations

share/smack/top.py

@@ -1088,8 +1088,7 @@ def verify_bpl_portfolio(args):
 
     for thread in list(portfolio_config.keys()):
         async_result = p.apply_async(thread_verify_bpl,
-                                     args=(copy.deepcopy(args),
-                                     portfolio_config[thread]))
+            args=(copy.deepcopy(args), portfolio_config[thread]))
         results[async_result] = thread
 
     # TODO: revisit this loop to improve efficiency

share/smack/utils.py

@@ -124,11 +124,11 @@ def smack_headers(args):
     paths.append(smack_header_path())
     return paths
 
+
 def smack_lib():
     return os.path.join(smack_root(), 'share', 'smack', 'lib')
 
 
 def smack_portfolio_path():
-    return os.path.join(smack_root(), 'share', 'smack',\
+    return os.path.join(smack_root(), 'share', 'smack',
                         'default-portfolio.yaml')
-