Model, ghost, spec_public, spec_protected fields are not printed in error messages upon assertion violations. Also unprinted are expressions with quantified variables.
Logged In: YES user_id=633675
It would be nice if messages did not include indecipherable variable names like rac$old4 but instead showed expressions.
Logged In: YES user_id=636250
An old expression is now printed as '\old(e)' in assertion violation messages, where e is an acutal expression. Thank for the suggestion.
Log in to post a comment.
Logged In: YES
user_id=633675
It would be nice if messages did not include indecipherable
variable names like rac$old4 but instead showed expressions.
Logged In: YES
user_id=636250
An old expression is now printed as '\old(e)' in assertion
violation messages, where e is an acutal expression. Thank
for the suggestion.