The files on PyPI (across all srcomp projects) appear to contain a bunch of extraneous files which we should exclude.
Additionally when installing from git+https.... (as done by srcomp-puppet) we end up installing some files from the dummy compstate via the tests directory.
The files on PyPI (across all srcomp projects) appear to contain a bunch of extraneous files which we should exclude. Additionally when installing from
git+https....
(as done bysrcomp-puppet
) we end up installing some files from the dummy compstate via the tests directory.