http://bugs.winehq.org/show_bug.cgi?id=27571 --- Comment #3 from Ayrat <airat.halimov(a)gmail.com> 2011-06-29 03:15:20 CDT --- Thanks Austin for the patch and for the fix. The program Z3 itself contains a bug when running in a multithreaded mode (with PAR_NUM_THREADS etc. arguments) that causes segmentation fault. Without these arguments it works OK under wine. (In reply to comment #2)
Crash fixed by: http://source.winehq.org/git/wine.git/commitdiff/1344aec6420c05799839b24ce68...
though the app won't yet run, needs a more proper implementation.
-- Configure bugmail: http://bugs.winehq.org/userprefs.cgi?tab=email Do not reply to this email, post in Bugzilla using the above URL to reply. ------- You are receiving this mail because: ------- You are watching all bug changes.