From ac0e2bc3509e10ecc6be97fb2f752ded79a6f747 Mon Sep 17 00:00:00 2001 From: johndoe6345789 Date: Sat, 27 Dec 2025 04:26:57 +0000 Subject: [PATCH] Fix tlaplus script lint warnings --- scripts/tlaplus.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/tlaplus.py b/scripts/tlaplus.py index 8ff5699..105b1bb 100755 --- a/scripts/tlaplus.py +++ b/scripts/tlaplus.py @@ -85,10 +85,10 @@ def parse_spec(jar_path: Path, spec_dir: Path, spec_name: str, output_dir: Path) # Check result - SANY returns 0 on success and doesn't output "***Parse Error***" if result.returncode == 0 and "***Parse Error***" not in result.stdout: - print(f"\n✓ TLA+ specification parsed successfully!") + print("\n✓ TLA+ specification parsed successfully!") return 0 else: - print(f"\n✗ TLA+ specification parsing failed") + print("\n✗ TLA+ specification parsing failed") return 1 except Exception as e: @@ -160,7 +160,7 @@ def run_tlc(jar_path: Path, spec_dir: Path, spec_name: str, output_dir: Path) -> # Check result if result.returncode == 0: - print(f"\n✓ TLC model checking completed successfully!") + print("\n✓ TLC model checking completed successfully!") return 0 else: print(f"\n✗ TLC model checking failed with exit code {result.returncode}")