zack3d/pylingual
1
0
Fork 0
mirror of https://github.com/syssec-utd/pylingual.git synced 2026-05-10 18:39:03 -07:00
Code Issues Packages Projects Releases Wiki Activity

cflow script

Browse Source
This commit is contained in:
caandt
2025-06-25 14:33:05 -05:00
parent 949d907af6
commit a49852299b
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
dev_scripts/cflow.py
+7 -4
View File
@@ -82,8 +82,8 @@ def run(file: Path, out_dir: Path, version: PythonVersion, print=False):
if print: if print:
print_result(f"Equivalance results for {file}", result) print_result(f"Equivalance results for {file}", result)
return Result.Success if all(x.success for x in result) else Result.Failure, [(x.success, str(x)) for x in result], file, out_dir return Result.Success if all(x.success for x in result) else Result.Failure, [(x.success, str(x)) for x in result], file, out_dir
except (CompileError, SyntaxError): except (CompileError, SyntaxError) as e:
return Result.CompileError, [], file, out_dir return Result.CompileError, e, file, out_dir
except Exception: except Exception:
rich.get_console().print_exception() rich.get_console().print_exception()
return Result.Error, [], file, out_dir return Result.Error, [], file, out_dir
@@ -93,7 +93,7 @@ class NoPool:
imap_unordered = map imap_unordered = map
def print_results(a: Path, b: Path, result: Result, results: list[tuple[bool, str]]): def print_results(a: Path, b: Path, result: Result, results: list[tuple[bool, str]] | Exception):
a_text = a.read_text() a_text = a.read_text()
b_text = b.read_text() b_text = b.read_text()
console = rich.console.Console(highlight=False) console = rich.console.Console(highlight=False)
@@ -102,7 +102,10 @@ def print_results(a: Path, b: Path, result: Result, results: list[tuple[bool, st
console.print("\n=== reconstructed file ===", style="green bold") console.print("\n=== reconstructed file ===", style="green bold")
console.print(b_text) console.print(b_text)
console.print("\n=== equivalence report ===", style="green bold") console.print("\n=== equivalence report ===", style="green bold")
if results: if isinstance(results, Exception):
console.print(result, style="red bold underline")
console.print(results)
elif isinstance(results, list) and results:
for success, name in results: for success, name in results:
console.print(name, style="" if success else "red bold underline") console.print(name, style="" if success else "red bold underline")
else: else: