Skip to content
test

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper #5039

Sign in to view logs

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper

Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper #5039

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-test-deploy-container
44m 44s
44m 44s