git/WizardMerge
1
0
Fork 0
mirror of https://github.com/johndoe6345789/WizardMerge.git synced 2026-04-24 13:44:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix tlaplus script lint warnings

Browse Source
This commit is contained in:
johndoe6345789
2025-12-27 04:26:57 +00:00
parent c28a4f461d
commit ac0e2bc350
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/tlaplus.py
View File

@@ -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}")