angr / angr/ci-settings

typecheck.py: Divide by zero

オープン
#73 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
主要言語
Python
スター
2
フォーク
7
平均マージ
15時間 28分
マージ済み PR(30日)
5

説明

```
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

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。