General

Profile

Pavel Andrianov

Issues

Projects

Activity

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

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...
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.
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...
05:39 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
Some attributes can be related not to a witness, but to a whole launch. So, the feature is only not to clone the same...

09/21/2018

12:47 PM Klever Bug #9285 (Closed): Problem with deployment
Using the version 1.1, I can not prepare virtual machine with deployment scripts. The BenchExec archive is not extrac...

09/11/2018

04:36 PM Klever Feature #9273 (New): New translation mode for EMG
There are two translators for EMG. One of them prepare sequential code, when all specified functions are called direc...

Also available in: Atom