http://bugs.winehq.org/show_bug.cgi?id=27571
Summary: Call to unimplemented function KERNEL32.dll.GetNumaHighestNodeNumber Product: Wine Version: 1.3.22 Platform: x86-64 OS/Version: Linux Status: UNCONFIRMED Severity: normal Priority: P2 Component: -unknown AssignedTo: wine-bugs@winehq.org ReportedBy: airat.halimov@gmail.com
Created an attachment (id=35249) --> (http://bugs.winehq.org/attachment.cgi?id=35249) output of wine run and input file moderate-smt1.smt
OS: Ubuntu 10.10 Wine: 1.3.22
Program under run: Z3: http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e259...
Installed successfully, this case appears when run with the following params:
wine /home/art_haali/.wine/drive_c/Program\ Files/Microsoft\ Research/Z3-2.19/bin_mt/z3.exe PAR_NUM_THREADS=4 PAR_SHARING=2 PAR_SHARING_LIMIT_NEAR=8 moderate-smt1.smt
Thanks.
http://bugs.winehq.org/show_bug.cgi?id=27571
Ayrat airat.halimov@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |airat.halimov@gmail.com
http://bugs.winehq.org/show_bug.cgi?id=27571
Austin English austinenglish@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Keywords| |download Status|UNCONFIRMED |NEW CC| |austinenglish@gmail.com Component|-unknown |kernel32 Ever Confirmed|0 |1
--- Comment #1 from Austin English austinenglish@gmail.com 2011-06-23 11:35:26 CDT --- http://source.winehq.org/patches/data/75648
http://bugs.winehq.org/show_bug.cgi?id=27571
Austin English austinenglish@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED
--- Comment #2 from Austin English austinenglish@gmail.com 2011-06-28 18:54:45 CDT --- Crash fixed by: http://source.winehq.org/git/wine.git/commitdiff/1344aec6420c05799839b24ce68...
though the app won't yet run, needs a more proper implementation.
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.
http://bugs.winehq.org/show_bug.cgi?id=27571
Alexandre Julliard julliard@winehq.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |CLOSED
--- Comment #4 from Alexandre Julliard julliard@winehq.org 2011-07-08 13:47:25 CDT --- Closing bugs fixed in 1.3.24.
https://bugs.winehq.org/show_bug.cgi?id=27571
Anastasius Focht focht@gmx.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Fixed by SHA1| |1344aec6420c05799839b24ce68 | |91b2d0977245f URL| |http://research.microsoft.c | |om/en-us/downloads/0a7db466 | |-c2d7-4c51-8246-07e25900c7e | |7/ CC| |focht@gmx.net
-
wine-bugs＠winehq.org