General

Profile

Pavel Andrianov

Issues

Projects

Activity

04/06/2019

01:34 PM Klever Feature #9583: Update CPAchecker
Just a note. If you get rid from -skipRecursion, CPAchecker fails after it detects a recursion. So, to handle recursi... Pavel Andrianov

12/19/2018

11:16 AM Klever Feature #8338: Add ability to specify similarity threshold
> Regarding your case, do you think that 17% is worse than 22%?
Yes, both of them are irrelevant, so I do not like...
Pavel Andrianov

12/17/2018

03:33 PM Klever Feature #8338: Add ability to specify similarity threshold
I do not think it is a cheat. I would not like to resolve conflicts between 17% similar mark and 22% one, if, for exa... Pavel Andrianov

12/13/2018

02:08 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> For providing data that can be interested for verifier developers there are different means
I am not speaking ab...
Pavel Andrianov
12:06 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> then you have to prepare the only verification report with all verification results as its children.
Then I have...
Pavel Andrianov
11:16 AM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> As far as I rememember there can be the only verification report for the same parent (Vladimir, am I right?)
Nei...
Pavel Andrianov
10:58 AM Klever Feature #9412: Support more advanced calculation of total verdicts and similarity
I support the issue: incompatible marks are very distractive. One minor comment is that several confirmed association... Pavel Andrianov

12/12/2018

06:20 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> Can't you create an intermediate reports of another type?
We do it already (see example from Vitaly), but it doe...
Pavel Andrianov
05:54 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> What is an unsafe node? What is a verification node?
This is unsafe report and verification report.
Pavel Andrianov
05:53 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
> If you need the same attributes for all underlying reports, you need to upload them within a parent report, most li... Pavel Andrianov

Also available in: Atom