Bug #10826
openKlever uploads witnesses very slow
0%
Description
Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version of Klever uploaded them about an hour, but it is also not very fast.
Updated by Evgeny Novikov over 3 years ago
- Category set to Results processing
- Assignee set to Evgeny Novikov
Usually we do not deal with such amount of large witnesses, so, delays are not vital. For your example this is not the case and some optimizations are definitely necessary.
Updated by Evgeny Novikov over 3 years ago
- Target version deleted (
3.2)
Though, the issue is rather unpleasant, but now it is not so urgent.
Updated by Evgeny Novikov over 3 years ago
- Blocked by Feature #10910: Finalize support for verification of Harmony OS added
Updated by Evgeny Novikov over 3 years ago
I could not find any good examples of violation witnesses that demonstrate such behavior, so, let's wait until we will support verification of Harmony OS (#10910) for which violation witnesses may be really huge.
Updated by Evgeny Novikov about 3 years ago
- Target version changed from 3.3 to 3.4
Updated by Evgeny Novikov about 3 years ago
- Target version changed from 3.4 to 3.5
Updated by Evgeny Novikov almost 3 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.