Feature #10910
open
Finalize support for verification of Harmony OS
Added by Evgeny Novikov over 3 years ago.
Updated almost 3 years ago.
Estimated time:
(Total: 0.00 h)
Description
We added preliminary support for verification of Harmony OS in branch "harmonyos" ~half a year ago. Now its time to add this functionality to the master branch. Otherwise it will deprecate soon.
Related issues
1 (1 open — 0 closed)
I merged latest master to branch "harmonyos" in a new branch named "harmonyos-merge-master". Currently verification does not work. There is a bug in EMG or/and its specifications/settings (I will open a separate issue for this). Besides, Pavel will investigate why CPALockator reports Safe and does not find any data races.
- Blocks Bug #10826: Klever uploads witnesses very slow added
- Target version changed from 3.3 to 3.4
- Target version changed from 3.4 to 3.5
- Target version deleted (
3.5)
There is no stakeholders for these issues. Let's do only those things that are really vital for somebody.
Also available in: Atom
PDF