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

Triggered via pull request October 7, 2024 12:29
@jesyspajesyspa
opened #53
008-sum-product-patch
Status Success
Total duration 43s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
33s
test-changed
Fit to window
Zoom out
Zoom in