Bug #10826
open
Klever uploads witnesses very slow
Added by Pavel Andrianov over 3 years ago.
Updated almost 3 years ago.
Category:
Results processing
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.
Related issues
1 (1 open — 0 closed)
- Target version set to 3.2
- 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.
- Target version deleted (
3.2)
Though, the issue is rather unpleasant, but now it is not so urgent.
- Target version set to 3.3
- Blocked by Feature #10910: Finalize support for verification of Harmony OS added
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.
- 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