Project

General

Profile

Actions
Copy link

Bug #10911

open

Feature #10910: Finalize support for verification of Harmony OS

Do not return anything from void functions

Added by Evgeny Novikov over 3 years ago. Updated almost 3 years ago.

Status:
New
Priority:
High
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
08/21/2021
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

The newest EMG generates environment models that contain void functions returning 0 at verification of Harmony OS. This clearly demonstrates that support for verification of software that is not in master and is not tested by CI will degrade over time. Note that you need to consider branch harmonyos-merge-master rather than harmonyos.

Related issues 1 (1 open — 0 closed)

Related to Klever - Bug #10912: EMG does not generate separate threads for manually specified functionsNewIlja Zakharov08/23/2021

Actions
Actions
Copy link

Also available in: Atom PDF