Skip to content
MIRAI on MIRAI

Improve memory efficiency by deleting Z3_context on drop of Z3Solver #13

Sign in to view logs

Improve memory efficiency by deleting Z3_context on drop of Z3Solver

Improve memory efficiency by deleting Z3_context on drop of Z3Solver #13

Re-run triggered November 28, 2024 00:50
@hermanventerhermanventer
#11
davidsemakula:z3-solver
Status Success
Total duration 48m 34s
Artifacts –

mirai_on_mirai.yml

on: pull_request
Matrix: build_with_vcpkg_installed_z3
Fit to window
Zoom out
Zoom in