Skip to content

Factor out Boogie tool output parsing #796

Factor out Boogie tool output parsing

Factor out Boogie tool output parsing #796

Triggered via pull request March 10, 2025 05:44
@ailrstailrst
synchronize #355
verify-output
Status Success
Total duration 20m 33s
Artifacts 1

run-examples.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
testresult-796
5.1 KB