Project

General

Profile

Bug #8956

Klever fails with corrupted

Added by Pavel Andrianov 10 months ago. Updated 10 months 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.

History

#1

Updated by Evgeny Novikov 10 months ago

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

Let's fix it for Klever 1.0.

#2

Updated by Pavel Andrianov 10 months ago

Forgot to note: rule sync:race.

#3

Updated by Evgeny Novikov 10 months 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.

#4

Updated by Evgeny Novikov 10 months 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.

Also available in: Atom PDF