Skip to content
Validate-YAML

Fail hard when a non-Assume instruction turns an invariant into bottom #530

Sign in to view logs

Fail hard when a non-Assume instruction turns an invariant into bottom

Fail hard when a non-Assume instruction turns an invariant into bottom #530

Triggered via pull request November 12, 2024 21:52
@elazargelazarg
opened #791
err-on-nonassume-bottom
Status Success
Total duration 19s
Artifacts –

validate-yaml.yml

on: pull_request
validate-yaml
7s
validate-yaml
Fit to window
Zoom out
Zoom in