Skip to content
Test coverage

Raise an error when postconditions of pure functions contain old() ex… #827

Sign in to view logs

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

Raise an error when postconditions of pure functions contain old() ex… #827

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
46m 0s
46m 0s