fix: make format && make check

Author: Stevengre

kmir/src/kmir/kmir.py

@@ -205,13 +205,11 @@ def prove_rs(opts: ProveRSOpts) -> APRProof:
                 ]
                 has_missing = len(missing_body_syms) > 0
                 _LOGGER.info(
-                    f"Reduced items table size {len(smir_info.items)}; "
-                    f"missing-bodies-present={has_missing} count={len(missing_body_syms)}"
+                    f'Reduced items table size {len(smir_info.items)}; '
+                    f'missing-bodies-present={has_missing} count={len(missing_body_syms)}'
                 )
                 if has_missing:
-                    _LOGGER.debug(
-                        f"Missing-body function symbols (first 5): {missing_body_syms[:5]}"
-                    )
+                    _LOGGER.debug(f'Missing-body function symbols (first 5): {missing_body_syms[:5]}')
 
                 kmir = KMIR.from_kompiled_kore(
                     smir_info, symbolic=True, bug_report=opts.bug_report, target_dir=str(target_path)