Project

General

Profile

Actions

Bug #10912

open

Feature #10910: Finalize support for verification of Harmony OS

EMG does not generate separate threads for manually specified functions

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
New
Priority:
High
Assignee:
Category:
Environment models
Target version:
-
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.


Related issues 1 (1 open0 closed)

Related to Klever - Bug #10911: Do not return anything from void functionsNewIlja Zakharov08/21/2021

Actions
Actions #1

Updated by Evgeny Novikov over 2 years ago

  • Related to Bug #10911: Do not return anything from void functions added
Actions #2

Updated by Evgeny Novikov over 2 years ago

  • Tracker changed from Feature to Bug
  • Detected in build set to git
Actions #3

Updated by Evgeny Novikov over 2 years ago

  • Target version changed from 3.3 to 3.4
Actions #4

Updated by Evgeny Novikov over 2 years ago

  • Target version changed from 3.4 to 3.5
Actions #5

Updated by Evgeny Novikov over 2 years ago

  • Target version deleted (3.5)

There is no stakeholders for these issues. Let's do only those things that are really vital for somebody.

Actions

Also available in: Atom PDF