Actions
Bug #8956
closedKlever fails with corrupted
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.
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.
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.
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