Actions
Bug #10912
openFeature #10910: Finalize support for verification of Harmony OS
EMG does not generate separate threads for manually specified functions
Start date:
08/23/2021
Due date:
% Done:
0%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
We used this functionality for finding data races, but it seems to be broken. At the moment all functions from the list are invoked within the same thread, that obviously prevent detecting any data races. Maybe this is the same issue as #10911, but also it may be completely independent.
Actions