Path coverage

• 100% path coverage is not always possible:

        a if $x;
        b;
        c unless $x;

• 50% path coverage is the best you can get here

• Code coverage tools could recognise this to a limited extent

• Halting problem