This repository has been archived by the owner on May 12, 2021. It is now read-only.

Integrate dratstats.py into DRAT #95

Closed

karanjeets opened this issue Jul 19, 2017 · 1 comment

Labels

enhancement help wanted

Milestone

Contributor

karanjeets commented Jul 19, 2017

dratstats.py is an advanced version of drat "go" and hence should be natively integrated with the DRAT run process.

We can call this python script from the drat bash script when it has done scanning and indexing of the project repository.

chrismattmann added this to the Proteus Fixes post 0.6 milestone

chrismattmann added enhancement help wanted labels

Collaborator

chrismattmann commented Aug 17, 2018

done!

chrismattmann closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.