You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
Monitor the new environment variable GNATSTUDIO_PYTHON_COV.
This variable must be set to the name of the directory being
tested.
Add --pycov switch in the testsuite CLI.
Create a pycov_data repository containing:
- preferences in the form of .coveragerc
- pycov_startup.xml: when put in $GNATSTUDIO_HOME\startup.xml
enabled all the plugins.
- all the generated file in the form of .coverage.${test_name}
When all the file are generated, run:
$ coverage combine # ignore this if there is only one .coverage*
$ coverage report
$ coverage html # optional
Change-Id: I4b45243924d939ede5b885ff86541a6d70571b0c