[Bug 27571] Call to unimplemented function KERNEL32.dll.GetNumaHighestNodeNumber

[wine-bugs at winehq.org]

http://bugs.winehq.org/show_bug.cgi?id=27571

--- Comment #3 from Ayrat <airat.halimov at 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/1344aec6420c05799839b24ce6891b2d0977245f
> 
> 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.