Support get_fstar_z3.sh on macos
#4402
Triggered via pull request
December 26, 2024 18:51
gebner
Status
Success
Total duration
48m 24s
Artifacts
–