tools.py: Refactor debug file generation and import order

- Reorganize import statements for better readability
- Standardize string quotes to single quotes
- Minor formatting improvements in debug file logging

src/kriscv/tools.py

@@ -1,5 +1,6 @@
 from __future__ import annotations
 
+from pathlib import Path
 from subprocess import CalledProcessError
 from typing import TYPE_CHECKING
 
@@ -8,7 +9,6 @@
 from pyk.kast.manip import split_config_from
 from pyk.kore.match import kore_int
 from pyk.ktool.krun import KRun
-from pathlib import Path
 from pyk.prelude.k import GENERATED_TOP_CELL
 
 from kriscv import elf_parser, term_builder
@@ -54,18 +54,18 @@ def run_config(self, config: KInner) -> KInner:
             stdout_path = path / 'krun_stdout.txt'
             stderr_path = path / 'krun_stderr.txt'
             input_path = path / 'krun_input.txt'
-            
+
             with open(stdout_path, 'w') as f:
                 f.write(e.stdout)
             with open(stderr_path, 'w') as f:
                 f.write(e.stderr)
             with open(input_path, 'w') as f:
                 config_kore.write(f)
-                
-            print("Generated debug files:")
-            print(f"- {stdout_path.resolve()}: KRun standard output")
-            print(f"- {stderr_path.resolve()}: KRun error output")
-            print(f"- {input_path.resolve()}: Input configuration in Kore format")
+
+            print('Generated debug files:')
+            print(f'- {stdout_path.resolve()}: KRun standard output')
+            print(f'- {stderr_path.resolve()}: KRun error output')
+            print(f'- {input_path.resolve()}: Input configuration in Kore format')
             raise
         return self.krun.kore_to_kast(final_config_kore)