Project

General

Profile

0.2

closed

10/18/2017

100%

59 issues   (59 closed — 0 open)

Issues by
Bug

17/17
Feature

42/42
Related issues
Bug #7571: Exceptions in VTG strategies aren't reported as corresponding test case failures Actions
Bug #8358: Accounting of line passes and function calls is broken in CPAchecker BAM Actions
Bug #8362: Do not expect coverage when verifiers fail Actions
Bug #8364: Internal Server Error when requesting list of connected nodes Actions
Bug #8376: Incorrect filter values when comparing verification job results Actions
Bug #8405: Schedulers and Controller do not clean up working directories specified with help of absolute paths Actions
Bug #8438: Native Scheduler Job Worker reports useless warnings Actions
Bug #8439: Tests for sync:race are broken Actions
Bug #8442: Names of components have been changed and tests and hardcoded names in Bridge should be updated Actions
Bug #8443: Error at creation of mark without tags Actions
Bug #8448: Specify proper safety properties specification for generic:memory Actions
Bug #8449: Verification reports do not have computational resources in the lightweight mode Actions
Bug #8454: Bridge sets status "Terminated" for properly failed jobs Actions
Bug #8460: Klever stops solving tasks Actions
Bug #8465: Bridge incorrectly rounds up Klever Core limits Actions
Bug #8485: Update CPAchecker SMG after it will print witnesses like CPAchecker BAM Actions
Bug #8499: Do not create extra unknown reports in plugins launcher after plugin failures Actions
Feature #6545: Invoke BenchExec task with several C files Actions
Feature #6608: Generate abstract verification tasks in parallel Actions
Feature #6624: Add very common readme file Actions
Feature #6625: Add description of Klever Actions
Feature #6807: Separate verification tasks generation and verification results processing Actions
Feature #6906: Make VTG strategies task decision requests delay configurable Actions
Feature #7294: Restrict error trace comparison criteria Actions
Feature #7451: Extract default verifier options from VTG strategies source code to configuration file Actions
Feature #7452: Allow to overwrite default options specified for verifiers Actions
Feature #7799: Integrate Ultimate Automizer as an alternative verification tool Actions
Feature #7800: Refactoring of VTG Actions
Feature #7801: Increase size of the report component name to 20 from 15 Actions
Feature #7803: Shrink verifier name to 20 symbols Actions
Feature #7924: Reuse plugin results Actions
Feature #7987: Replace ldv_thread_create and ldv_thread_join by functions from pthreads Actions
Feature #8133: Support easy installation and updates with OpenStack Actions
Feature #8234: Error traces comparison for races Actions
Feature #8240: Fix transformation of witnesses to error traces for multithreaded software Actions
Feature #8241: Reflect all changes at the association changes page Actions
Feature #8255: Move model files to correct dir Actions
Feature #8271: Implement checks of the error trace format in Core Actions
Feature #8299: Implement a new request to get statuses of solving tasks Actions
Feature #8337: Upload reports without job decision Actions
Feature #8342: Show the number of confirmed bugs, false alarms, etc. at jobs tree page Actions
Feature #8352: Calculate and visualize total code coverage Actions
Feature #8353: Calculate total code coverage Actions
Feature #8354: Visualize total code coverage Actions
Feature #8355: Calculate lines coverage without empty lines and some preprocessor directives Actions
Feature #8368: Downloaded component files contain only log files Actions
Feature #8371: Allow to specify units for computational resource limits Actions
Feature #8372: Visualize a comment instead of function name at eye-folding Actions
Feature #8392: Remove tasks after processing their solutions Actions
Feature #8416: Suggest better file archives passing from Core to Bridge Actions
Feature #8417: Support more flexible file archives passing Actions
Feature #8418: Support more flexible file archives passing Actions
Feature #8422: Change the way to calculate the total number of meaningful lines of code and specially highlight lines of code with zero passes of a verifier Actions
Feature #8441: Get input files of verifies by verification task identifiers Actions
Feature #8444: Restore progress calculation Actions
Feature #8456: Keep reports for special component "Sub-job" in lightweight mode Actions
Feature #8467: Reduce the default number of task generator workers Actions
Feature #8482: Do not wait when job or task solution is ready Actions
Feature #8496: Bridge fails to visualize error traces without global declarations Actions