Question: what is the difference between cover and assert property?
Answer: The difference is that covering a property ignores the failures, and asserting a property ignores the passes.