You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Good news, this is fixed in current master. Except the "loop" issue is likely outside of recursive function unfolding and could be an issue with timeout.cpp.
We have been using z3 in CutEr, a concolic testing tool for Erlang, for some years now.
Yesterday, I've tried upgrading our z3 version from 4.8.8 to the latest release (4.8.10), and some of our unit tests fail. We were able to distill this to the following simple test:
which times out (loops) in the latest release (and also in 4.8.9), but was working correctly in all versions up to 4.8.8.
Is this a regression or something wrong in our test? (E.g., we are missing some option?)
The text was updated successfully, but these errors were encountered: