General

Profile

Ilja Zakharov

Issues

Projects

Activity

12/24/2018

07:32 PM Klever Revision 7b7e3586: Improve specifications a bit
12:23 PM Klever Revision 39baf30a: Add a new rule to BB preset to start by default

12/12/2018

01:42 PM Klever Feature #9413 (Rejected): Set total verdict and total similarity more precisely on base of automatic marks assotiation
Currently on the page with all unsafes total similarity is caclulated as an average value. In practice if I see 0% un...
01:00 PM Klever Feature #9412 (New): Support more advanced calculation of total verdicts and similarity
The primary expert evaluation workflow should look as follows:
# Imagine there is no associated marks for a given re...

12/04/2018

06:41 PM Klever Feature #9305: Provide a list of undefined and modelled functions for a fragment under verification
If you mean entry points then it is not a part of this task. Entry points can be easily found from the coverage repor...
09:19 AM Klever Feature #9406 (New): Ignore an another one useless warning from BenchExec (flawed measurement)
On my local machine BenchExec issues the following warning on regular basis:
Job failed b75957fa0f065e6bb02e67267d36...

11/22/2018

04:55 PM Klever Feature #9396 (New): Allow creating tags with the same names at different branches
Currently each tag name should be unique.However, it would be nice to have the same tags at different branches of tag...

11/10/2018

03:25 PM Klever Bug #9382: Button "Reports->Clear verification files" does nothing
Here is an example at ldvdev (ex ldvstore): http://ldvdev.intra.ispras.ru:8999/jobs/273/
03:25 PM Klever Bug #9382 (New): Button "Reports->Clear verification files" does nothing
Bridge does not respond anyhow to clicking on this button. The files are still available and can be downloaded for ea...

11/09/2018

07:12 PM Klever Feature #9381: Return back program fragment sized
Just to keep in mind, that this requires refactoring of the Clade source graph collecting extension, that is why the ...

Also available in: Atom