Open-Source Projects

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