Fixing context disposal vs. statistics thread

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

442 stars 40 forks source link

Fixing context disposal vs. statistics thread #3009

Open konnov opened 1 month ago

konnov commented 1 month ago

Closes #3004, hopefully. I feel like I am doing monkey patching with thread synchronization. I know, it must be hilarious, but I keep getting rare core dumps in z3 thanks to the statistics thread. Maybe I should check this code with TLC or Apalache :))

[x] Ran make fmt-fix (or had formatting run automatically on all files edited)
[x] [Entries added to ./unreleased/][changelog format] for any new functionality

thpani commented 1 month ago

Did the Z3 downgrade in #3012 fix anything?

konnov commented 1 month ago

Did the Z3 downgrade in #3012 fix anything?

I stopped getting other failures, but this one still appears from time to time