Skip to content
Test New Dafny Files

Correct annotations in 008-sum_product.dfy #24

Sign in to view logs

Correct annotations in 008-sum_product.dfy

Correct annotations in 008-sum_product.dfy #24

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-changed
33s
33s