{
"tests/test-success.alc": "success",
"tests/test-failure.alc": "termgen",
"tests/arith.alc": "success",
"tests/bad-types.alc": "termgen",
"tests/basic-annotated.alc": "success",
"tests/functypes.alc": "success",
"tests/host-if.alc": "success",
"tests/host-prog.alc": "success",
"tests/host-to-func.alc": "success",
"tests/http-server.alc": "success",
"tests/implicit.alc": "success",
"tests/operative-do.alc": "success",
"tests/operative-tuple-desc.alc": "success",
"tests/record-ascription.alc": "success",
"tests/record-types/missing-field.alc" : "termgen",
"tests/record-usage-1.alc": "success",
"tests/record-usage-2.alc": "success",
"tests/record-usage-3.alc": "success",
"tests/record-usage-4.alc": "success",
"tests/record-usage-5.alc": "success",
"tests/record-usage-6.alc": "success",
"tests/switch-fail.alc": "termgen",
"tests/switch-test.alc": "success",
"tests/tuple-usage-1.alc": "success",
"tests/tuple-usage-2.alc": "success",
"tests/tuples.alc": "success"
}