add test cases to check the behaviour of --cover in the presence of u…#290

Merged

kroening merged 1 commit intodiffblue:masterfrom

lucasccordeiro:siemens_fix255_squashed

Jan 3, 2017

Commits on Nov 2, 2016

add test cases to check the behaviour of --cover in the presence of unreachable functions and assumes
lucasccordeiro
committed