Skip to content

Raise an error when postconditions of pure functions contain old() expressions #355

Raise an error when postconditions of pure functions contain old() expressions

Raise an error when postconditions of pure functions contain old() expressions #355

Annotations

1 warning

The logs for this run have expired and are no longer available.