More improvements to checkers
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
More improvements to checkers
Dark Dragon
requested to merge
darkdragon-001/linuxphoneapps.frama.io:improvements
into
main
Oct 12, 2025
Overview
9
Commits
3
Pipelines
10
Changes
15
Use
argparse
to handle arguments
Using
logging
module to log output
Check and fix types
Merge request reports
Loading