Skip to content
yices2

boolector: bins of btor2tools are now in subdir 'build' #810

Sign in to view logs

boolector: bins of btor2tools are now in subdir 'build'

boolector: bins of btor2tools are now in subdir 'build' #810

Run time

Learn about OS pricing on GitHub Actions
Job Run time
yices2 / matrix
5s
yices2 / amd64/debian/bullseye | pkg/yices2
1m 17s
yices2 / amd64/debian/bookworm | pkg/yices2
59s
2m 21s