Klever fails with corrupted
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.
- Target version set to 1.0
- Priority changed from Normal to Urgent
Let's fix it for Klever 1.0.
Forgot to note: rule sync:race.
- 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.
- 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