Add mypy validation to directories besides cmdline

static-analysis-engineering / CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

MIT License

27 stars 6 forks source link

Closed Databean closed 4 years ago

Databean commented 4 years ago

chc/cmdline is TODO, pending the existing errors there being fixed.

Databean commented 4 years ago

Thanks for reviewing!