{
"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/switch-fail.alc": "termgen",
"tests/switch-test.alc": "success",
"tests/tuples.alc": "success",
"tests/record-usage.alc": "success"
}