Devi anche indicare quale asserzione. Cosi' e' troppo generico.
Vuol solo dire che c'e' una assert che fallisce, cioe' una particolare condizione di qualche genere non risulta sodfisfatta in qualche punto del programma.
Quale asserzione? In che punto? Boh!