Project

General

Profile

Download (1.05 KB)

Bug #7994 ยป job.json

Evgeny Novikov, 02/22/2017 03:30 PM

 
{
"LKVOG strategy": {
"groups": {
"drivers/net/tg3.ko": [
"drivers/pci/pci.o",
"drivers/net/tg3.ko"
]
},
"name": "manual"
},
"Linux kernel": {
"configuration": "allmodconfig",
"modules": [
"drivers/net/tg3.ko"
],
"source": "linux-2.6.33.20.tar.xz"
},
"VTG strategy": {
"caching": true,
"merge source files": true,
"name": "rule specification bugs",
"resource limits": {
"CPU model": null,
"CPU time": 900000,
"memory size": 10000000000,
"number of CPU cores": 1,
"result size": 1000000,
"wall time": 1000000
},
"verifier": {
"name": "CPAchecker",
"version": "ldv-bam:24236"
}
},
"maximum verification object size": 30000,
"rule specifications": [
"linux:arch:io"
],
"rule specifications DB": "rule specs.json",
"specifications set": "Linux 2.6.33"
}
    (1-1/1)