Skip to content
Build and run tests (macOS)

add support for memories to c++ and smtlib functional backends #3511

Sign in to view logs

add support for memories to c++ and smtlib functional backends

add support for memories to c++ and smtlib functional backends #3511

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-macos (macos-13, Ventura, c++11)
26m 36s
test-macos (macos-13, Ventura, c++17)
9m 33s
36m 9s