typecheck.py: Divide by zero
Open
- Dominant language
- Python
- Stars
- 2
- Forks
- 7
- Avg merge
- 15h 28m
- Merged PRs (30d)
- 5
Description
```
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
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.