Integrate Infer for checks #23

Open

Labels

Milestone

opened

on May 21, 2021

https://github.com/facebook/infer

e.g. allows for estimations of runtime complexity

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

1.3No due date

Relationships

None yet

Development

No branches or pull requests