Project

General

Profile

Actions

Bug #8956

closed

Klever fails with corrupted

Added by Pavel Andrianov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Urgent
Category:
Results processing
Target version:
Start date:
06/14/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Launch on Klever master, Linux 4.2.6, /drivers/ata/libata.ko. Klever fails with exception "The error occurs when uploading report with id /-/VRP/drivers/ata/libata.ko/sync:race/RP/verification/unsafe": Sources doesn't have needed source for error trace". Some of other unsafes, found in other launches, were processed and uploaded successfully.

Actions #1

Updated by Evgeny Novikov over 6 years ago

  • Priority changed from Normal to Urgent
  • Target version set to 1.0

Let's fix it for Klever 1.0.

Actions #2

Updated by Pavel Andrianov over 6 years ago

Forgot to note: rule sync:race.

Actions #3

Updated by Evgeny Novikov over 6 years ago

  • Status changed from New to Resolved

I fixed the issue in branch fixes-for-sync-race together with some other issues related with rule specification sync:race. I will merge this branch to master as soon as tests will pass.

Actions #4

Updated by Evgeny Novikov over 6 years ago

  • Status changed from Resolved to Closed

This is the first branch for which our quite large test set (5-6 hours) passed automatically. So, I merged the branch to master in e40dab36.

Actions

Also available in: Atom PDF