It reports the parameter the contract was violated for.