search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
137 stars 14 forks source link

Freeze Python development tools #22

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

We use Sphinx for documentation, pytest for tests, and mypy for checking the tests. We should provide a requirements.txt file which indicates known-good versions of all these tools, and install them in the dev image.

langston-barrett commented 2 years ago

I've put specific version numbers in the pip command that installs pytest{,-xdist}, I'd say that's good enough for now. Sphinx and Mypy should still get added to the list, and should be run in CI.