Indeed, coverage 3.6 currently does not support working with pyc files. See https://bitbucket.org/ned/coveragepy/issue/264/coverage-wont-run-pyc-files .
The trick is to create a simple driver source file that uses pyc files, for example main.py in the body of the question. During the report, you need to combine the source and executable pyc files.
Here's how to do it (my compiled files are stored in the current folder (pyc) and source files in .. / src):
[ root@host pyc]
Note that the third line in [paths] must be the full path (another coverage defect).
Thanks to Ned, who helped me get through this mailing list.
source share