General

Profile

Vitaly Mordan

Issues

Projects

Activity

12/12/2018

06:17 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
Evgeny Novikov wrote:
> But there can be files with the same names but various contents. So, it seems you suggest a ...
06:03 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
For example, we have the following hierarchy of nodes in report:
-root
--Component1
--Component2
---CPAchecker_1
...
05:42 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading
Now each unsafe node is tied to verification node (with resources, logs, etc.).
Unlike variable names in races, some...
05:00 PM Klever Feature #9414 (Open): Reuse archive with source files between different error traces on report uploading
Feature #8704 allowed to separated source files from error traces and put them into a single archive, which can be us...

08/31/2017

11:21 AM Klever Revision 5fcf4fc2: Resolve some verifiers exceptions
11:20 AM Klever Revision 6a6a3c6a: Added witness number for MEA tasks

08/02/2017

04:13 PM Klever Revision 98ce22db: Specify separation parameter
12:52 PM Klever Revision a87adb29: Fixed same name in Unknown and Unsafe-incomplete reports
12:16 PM Klever Revision 00dbcc46: Small fixes
10:38 AM Klever Revision 368af9ed: Corrected resource limitation factor for SC strategy

Also available in: Atom