Skip to content
Kind2 CI

Do not add UF to logic if using smt arrays #1557

Sign in to view logs

Do not add UF to logic if using smt arrays

Do not add UF to logic if using smt arrays #1557

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 35s
kind2-build (macos-12)
16m 41s
kind2-build (macos-14)
7m 38s
29m 54s