Test behaviour of --cover in the presence of unreachable functions and assumes

[peterschrammel]

for C programs

[peterschrammel]

@kroening, what is the "problem with location coverage"?

[lucasccordeiro]

@kroening: in addition to Peter's question, which coverage criterion should we further test together --cover (location, branch, decision, condition, path, mcdc, assertion)?

[lucasccordeiro]

@peterschrammel and @kroening: I have created about 15 test cases to check the behaviour of the location coverage. I was unable to find any issue related to this feature. I have just made a pull request in the repository so that you can evaluate the test cases.

[lucasccordeiro]

@kroening and @peterschrammel: Is there something else to be done in this issue? otherwise, may I ask you to close it?

[forejtv]

This is done in #290 which is merged.