Actions
Bug #10911
openFeature #10910: Finalize support for verification of Harmony OS
Do not return anything from void functions
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.
Updated by Evgeny Novikov over 2 years ago
- Related to Bug #10912: EMG does not generate separate threads for manually specified functions added
Updated by Evgeny Novikov over 2 years ago
- Target version changed from 3.3 to 3.4
Updated by Evgeny Novikov over 2 years ago
- Target version changed from 3.4 to 3.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