Skip to content
Boogie CI

Add support for irreducible CFG #2009

Sign in to view logs

Add support for irreducible CFG

Add support for irreducible CFG #2009

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Release, batch_mode=False)
5m 10s
Boogie CI (Debug, batch_mode=True)
5m 15s
Boogie CI (Release, batch_mode=True)
5m 6s
Boogie CI (Debug, batch_mode=False)
5m 4s
20m 35s