Project

General

Profile

Download (392 Bytes)

Bug #7302 » unsafe1 report.json

Pavel Andrianov, 06/17/2016 03:23 PM

 
{
"attrs": [
{
"Error trace identifier": "struct_ath10k_ce_ring_*sw_index"
}
],
"error trace": "witness1.processed.graphml",
"id": "//VTG/drivers/net/wireless/ath/ath10k/ath10k_pci.ko/linux:races/abkm/verification/unsafe1",
"parent id": "//VTG/drivers/net/wireless/ath/ath10k/ath10k_pci.ko/linux:races/abkm/verification",
"type": "unsafe"
}
(2-2/3)