etc: add etc/code-coverage-test-*.py

digraphs / Digraphs

The GAP package Digraphs

https://digraphs.github.io/Digraphs

Other

30 stars 44 forks source link

Closed james-d-mitchell closed 4 months ago

james-d-mitchell commented 4 months ago

This PR just adds 2 helper scripts to the etc directory for checking code coverage (of GAP and C code).

james-d-mitchell commented 4 months ago

Seems like I did this already, so closing as duplicate!