In reply to Reuben:
I believe most tools require non-vacuous pass for an assertion to be considered covered.