{
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:51:32Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "programfile": "alias_of_return_2.i.c",
    "programhash": "68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b54c450259e87d421e07e6b2f115820d7989cf1c961215b4333b376f4c0f1c84.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "b54c450259e87d421e07e6b2f115820d7989cf1c961215b4333b376f4c0f1c84",
    "witness-size": 4435,
    "witness-type": "test-suite"
}