{
    "architecture": "32bit",
    "creationtime": "2019-02-06-11:17:46\n",
    "entryfunction": "main",
    "error-program-sha256": "Key 'programhash' is not an SHA-256 hash.",
    "producer": "verifuzz",
    "programfile": "/home/benchexec/VERIFUZZ_TEMP_DIR/OUT/array_single_elem_init.i",
    "programhash": "a36cff5fc6e99336a47d56093527ff401f9e9c66",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)))",
    "witness-file": "fileByHash/84a083252b70115e871e68be9d2633f6cc38a0998bf3494e918da2075af7811d.zip",
    "witness-number-of-tests": 25,
    "witness-sha256": "84a083252b70115e871e68be9d2633f6cc38a0998bf3494e918da2075af7811d",
    "witness-size": 322244,
    "witness-type": "test-suite"
}