Skip to content
Boogie Proof Generation CI

Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) #77

Sign in to view logs

Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks)

Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
3m 24s
3m 24s