{
"dir": "specs/compiler/core",
"files": 2,
"seconds": 80.280,
"timeout_ms": 60000,
"overflow": "trap",
"totals": {"pass": 2, "pass_vacuous": 0, "tests": 9, "invariants": 0, "pass_no_tests": 0, "fail": 0, "blocked": 0, "frontend": 0, "mismatch": 0, "jit_interp_mismatch": 0, "reference_disagree": 0, "reference_disagree_tests": 0, "reference_compared": 2, "codegen": 0, "timeout": 0, "timeout_retried": 0, "crash": 0, "reference": {"ran": true, "pass": 2, "blocked": 0, "fail": 0, "timeout": 0, "skip": 0}},
"top_blockers": [

],
"results": [
{"file": "specs/compiler/core/t27core.t27", "reference": "pass", "reference_detail": "", "t27b": "pass", "tests": 8, "invariants": 0, "asserts": 19, "blockers": [], "detail": "", "test_verdicts": {"minimal_module_compiles": true, "string_is_refused": true, "undeclared_call_is_refused": true, "lossy_const_is_refused": true, "unbound_test_assignment_is_refused": true, "assert_outside_tests_is_refused": true, "put_int_writes_decimal": true, "packed_words_match_their_spelling": true}, "reference_tests": {"minimal_module_compiles": true, "string_is_refused": true, "undeclared_call_is_refused": true, "lossy_const_is_refused": true, "unbound_test_assignment_is_refused": true, "assert_outside_tests_is_refused": true, "put_int_writes_decimal": true, "packed_words_match_their_spelling": true}, "reference_disagree": []},
{"file": "specs/compiler/core/t27core_ddc.t27", "reference": "pass", "reference_detail": "", "t27b": "pass", "tests": 1, "invariants": 0, "asserts": 7, "blockers": [], "detail": "", "test_verdicts": {"ddc_stage2_output_is_gen_c_output": true}, "reference_tests": {"ddc_stage2_output_is_gen_c_output": true}, "reference_disagree": []}
]
}