Safe transfer and not coverable assert() failure

Not really an issue but I’d like to know how to manage error case for these kind of lines : assert(token.transfer(msg.sender, token.balanceOf(this))); I added an assert to add extra security if something goes wrong.

But in my tests I can’t make this fail. So I can’t get 100% on branch coverage. It’s an example but I have some extra asserts for cases we can’t reproduce in the test environnement.

[area]

I’ll also just say for people finding this later: code coverage is just a tool. 100% code coverage doesn’t mean that your code is flawless, and less than 100% doesn’t necessarily mean that your code (or tests) are bad. Striving for 100% coverage might be a waste of developer time. If you understand why you’re failing to reach 100% coverage, and it doesn’t imply poor code (as in this instance), then it’s perfectly okay!

[area]

I think the assert is in the Solidity code, not the javascript test. The rest of this comment assumes that to be true.

From the Solidity docs

If used properly, analysis tools can evaluate your contract to identify the conditions and function calls which will reach a failing assert. Properly functioning code should never reach a failing assert statement; if this happens there is a bug in your contract which you should fix.

And so… yes, if the assert is appropriate (rather than it should be a require), then you should not be able to to make it fail. It’s not clear to me if solidity-coverage should take that in to account, however, when reporting coverage.