Skip to content
Duvet report

chore: split vc gen on some methods to migrate to Dafny 4.4 #20

Sign in to view logs

chore: split vc gen on some methods to migrate to Dafny 4.4

chore: split vc gen on some methods to migrate to Dafny 4.4 #20

Triggered via pull request November 28, 2023 14:29
@jtristanjtristan
opened #625
jtristan:dafny-4.4
Status Success
Total duration 1m 27s
Artifacts 1

duvet.yaml

on: pull_request
duvet
1m 15s
duvet
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
specification_compliance_report Expired
1.45 MB