PR #3903 fix memory leak with zero-3

fix memory leak with zero-3 #3903

tjruwase merged 2 commits into master from z3-mem-leak

fix memory leak with z3

516009b4

jeffra requested a review from

tjruwase 2 years ago

jeffra requested a review from

samyam 2 years ago

jeffra requested a review from

mrwyattii 2 years ago

tjruwase approved these changes on 2023-07-07

mrwyattii approved these changes on 2023-07-07

__del__ is not good for zero-inference

127e8d35

jeffra enabled auto-merge 2 years ago

disabled auto-merge 2 years ago
Manually disabled by user

jeffra enabled auto-merge 2 years ago

disabled auto-merge 2 years ago
Manually disabled by user

mrwyattii enabled auto-merge 2 years ago

tjruwase added merge-queue

tjruwase merged af9a622a into master 2 years ago

Reviewers

tjruwase

mrwyattii

samyam

Assignees

No one assigned

Labels

None yet

Milestone

No milestone