Skip to content
Scala CI

No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads #1117

Sign in to view logs

No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads

No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads #1117

Triggered via pull request March 19, 2025 18:34
@marcoeilersmarcoeilers
synchronize #859
meilers_fix_non_loop_head_inv_labels
Status Success
Total duration 6m 20s
Artifacts 1

scala.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact
8.24 MB
sha256:e127610eab2041b5b0cc85b06acc10984f3f12e3fbeef36019aaa015e2d7f18b