Skip to content

Assert (postcondition) that all "debug invariants" equal true in at least one state. #260

Assert (postcondition) that all "debug invariants" equal true in at least one state.

Assert (postcondition) that all "debug invariants" equal true in at least one state. #260

Triggered via pull request October 2, 2024 00:49
Status Skipped
Total duration 5s
Artifacts

long-test.yml

on: pull_request
Fit to window
Zoom out
Zoom in