29 Jun
2011
29 Jun
'11
8:15 a.m.
http://bugs.winehq.org/show_bug.cgi?id=27571
--- Comment #3 from Ayrat airat.halimov@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.