ternary ifs not taken into account by branch coverage

Originally reported by Antony Lee (Bitbucket: anntzer, GitHub: anntzer)

---

coverage 4.1, python 3.5.2, arch linux

test.py

cond = True

if cond:
    x = 1
else:
    x = 2

x = 1 if cond else 2
x = cond and 1 or 2

Getting branch coverage for this file shows partial coverage of the first if cond:, but not of the ternary (inline) if cond, or of the short-circuiting binary operators.

---

• Bitbucket: https://bitbucket.org/ned/coveragepy/issue/509

[ammaraskar]

Just fyi: it might be possible to implement this on 3.11 where we now expose column information for bytecode: https://docs.python.org/3.11/reference/datamodel.html#codeobject.co_positions

[flying-sheep]

Either it will or pycoverage will be replaced by whatever new project comes along and does it. Sub-expression-level branching is simply the the correct way to measure coverage, and now it’s finally possible!