Skip to content
Foundational Boogie CI

Cfg optimizations (unreachable blocks and block coalescing) #40

Sign in to view logs

Cfg optimizations (unreachable blocks and block coalescing)

Cfg optimizations (unreachable blocks and block coalescing) #40

Triggered via pull request November 21, 2024 09:15
@gauravparthagauravpartha
synchronize #8
cfg_optimizations
Status Success
Total duration 1m 58s
Artifacts –

ci.yaml

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