Skip to content
Build and run tests (macOS)

write_smt2: Check for constant bool after fully resolving signal #2214

Sign in to view logs

write_smt2: Check for constant bool after fully resolving signal

write_smt2: Check for constant bool after fully resolving signal #2214

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-macos (macos-11, Big Sur, c++11)
35m 13s
test-macos (macos-11, Big Sur, c++17)
17m 9s
52m 22s