CPP CI

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

Sign in to view logs

Triggered via pull request November 12, 2024 21:52

elazarg

opened #791

err-on-nonassume-bottom

Status Success

Total duration 35m 49s

Artifacts –

build.yml

on: pull_request

Matrix: build_ubuntu

Matrix: build_windows