angr / angr/ci-settings

typecheck.py: Divide by zero

Offen
#73 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Python
Sterne
2
Forks
7
Ø Merge
15 Std. 28 Min.
Gemergte PRs (30 T.)
5

Beschreibung

```
File "/root/scripts/typecheck.py", line 85, in
sys.exit(typecheck_diff(sys.argv[1], sys.argv[2]))
File "/root/scripts/typecheck.py", line 52, in typecheck_diff
report1 = typecheck_files(filenames)
File "/root/scripts/typecheck.py", line 39, in typecheck_files
report.score = (report.errors * 10 + report.warnings) / report.lines
```

https://github.com/angr/angr-management/actions/runs/16510225032/job/46690648143

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.