Michael Tautschnig 23196afcf4 Restore namespace after symbolic execution ... This was already fixed in d475abcdb9, but 685937a79e introduced additional returns. Now use an approach that will always work, even when returning via exceptions being thrown.		2019-01-29 18:14:54 +00:00
..
main.c	Fix coverage reporting of forward-goto statements (break, continue)	2017-05-22 10:50:38 +01:00
paths.desc	Restore namespace after symbolic execution	2019-01-29 18:14:54 +00:00
test.desc	Fix coverage reporting of forward-goto statements (break, continue)	2017-05-22 10:50:38 +01:00