Project

General

Profile

Download (494 Bytes)

Bug #8534 » verification report.json

Evgeny Novikov, 10/31/2017 10:42 AM

 
{
"attrs": [],
"coverage": "2635-o31zgv4v.zip",
"id": "/1/tests/linux/alloc/irq/all/6caad7a/VRP/ext-modules/safe.ko/generic:memory/RP/verification",
"log": "2635-_ssbswy6.zip",
"name": "CPAchecker",
"parent id": "/1/tests/linux/alloc/irq/all/6caad7a/VRP/ext-modules/safe.ko/generic:memory/RP",
"resources": {
"CPU time": 812551,
"memory size": 1896747008,
"wall time": 846333
},
"task identifier": "5547",
"type": "verification"
}
(4-4/6)