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

Merge pull request #26 from johndoe6345789/codex/run-act-on-branch-and-fix-issues

Browse Source 
Fix tlaplus script lint warnings
This commit is contained in:
johndoe6345789
2025-12-27 04:27:09 +00:00
committed by GitHub
parent c28a4f461d ac0e2bc350
commit 3571cba0ea
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***" # Check result - SANY returns 0 on success and doesn't output "***Parse Error***"
if result.returncode == 0 and "***Parse Error***" not in result.stdout: 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 return 0
else: else:
print(f"\n✗ TLA+ specification parsing failed") print("\n✗ TLA+ specification parsing failed")
return 1 return 1
except Exception as e: 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 # Check result
if result.returncode == 0: if result.returncode == 0:
print(f"\n✓ TLC model checking completed successfully!") print("\n✓ TLC model checking completed successfully!")
return 0 return 0
else: else:
print(f"\n✗ TLC model checking failed with exit code {result.returncode}") print(f"\n✗ TLC model checking failed with exit code {result.returncode}")