Ilja Zakharov





07:11 PM Klever Feature #9518 (New): Change the color scheme for coverage from red to green
Intuitively users interpret red color in coverage reports as uncovered parts. To avoid confusing situations at Klever...


03:51 PM Klever Feature #9507 (New): Update VerifierCloud scheduler to the recent API
VerifierCloud scheduler does not work with the most recent webclient python library (used on a user side). I tested r...
03:45 PM Klever Feature #9506 (New): Support VerifierCloud installations without authentication
VerifierCloud can be deployed in a local network and may not require user authentication. But Klever assumes that it ...


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


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...


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...


04:55 PM Klever Feature #9396 (Feedback): 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...

Also available in: Atom