Formatting for quotes

runtimeverification · Oct 10, 2024 · 46c28ba · 46c28ba
1 parent 29a2ba8
commit 46c28ba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
@@ -162,7 +162,7 @@ def _run_prover(_test_suite: list[FoundryTest], include_summaries: bool = False)
         failed_contract_names = [proof.id.split('.')[0] for proof in failed]
         if failed:
             raise ValueError(
-                f'Running initialization code failed for {len(failed)} contracts: {', '.join(failed_contract_names)}'
+                f"Running initialization code failed for {len(failed)} contracts: {', '.join(failed_contract_names)}"
             )
 
     if options.verbose:
@@ -175,7 +175,7 @@ def _run_prover(_test_suite: list[FoundryTest], include_summaries: bool = False)
     failed = [proof for proof in setup_results if not proof.passed]
     failed_contract_names = [proof.id.split('.')[0] for proof in failed]
     if failed:
-        raise ValueError(f'Running setUp method failed for {len(failed)} contracts: {', '.join(failed_contract_names)}')
+        raise ValueError(f"Running setUp method failed for {len(failed)} contracts: {', '.join(failed_contract_names)}")
 
     if options.verbose:
         _LOGGER.info(f'Running test functions in parallel: {test_names}')