{
  "error_code": null,
  "error_details_chars": 0,
  "error_details_redacted": false,
  "evaluator_log_steps": [
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "wipe_workspace",
      "wall_time": 0.11243243999979313
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "remove_hashed_files",
      "wall_time": 0.10795248999966134
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "seed_git",
      "wall_time": 0.1122328400006154
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "compile",
      "wall_time": 0.11624394200043753
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "copy_executable",
      "wall_time": 0.09005874299964489
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "hash_executable",
      "wall_time": 0.09459698299997399
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "install_rerunfailures",
      "wall_time": 0.6868163429999186
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.12933627300026274
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.12555172399970616
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.11565132599935168
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.12773036700036755
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 1,
      "step": "run_tests",
      "wall_time": 8.901491235999856
    },
    {
      "branch": "69f0eeebd3b8",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.0360511150001912
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.09607056500044564
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.10647860000062792
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.12324940100006643
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.11870861199986393
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 1,
      "step": "run_tests",
      "wall_time": 21.974109984999814
    },
    {
      "branch": "9002b036e2c3",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.034161710999796924
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.1287276049997672
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.11727977200007444
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.11716959200020938
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.11685464199945272
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 138.6600462510005
    },
    {
      "branch": "1fced6989730",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.04406713100070192
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.1368275340000764
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.10959272800027975
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.12144323499978782
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.11457377900023857
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 3.628557059000741
    },
    {
      "branch": "a115183849a2",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.034589380000397796
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.13815836300000228
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.12082398700022168
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.12584505700033333
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.12538995800059638
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 1,
      "step": "run_tests",
      "wall_time": 5.529054646000077
    },
    {
      "branch": "dc2dc640fac2",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.03471248000005289
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.12616075799996906
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.11840151300020807
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.08821299399915006
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.12748728499991557
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 3.4521686640000553
    },
    {
      "branch": "5e812627cc20",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.03431757100042887
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.1380120049998368
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.10489331099961419
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.11284131600041292
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.11738993599919922
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 3.4976072620002014
    },
    {
      "branch": "c554a726e6b2",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.022774873999878764
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.12668760900032794
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.12350578499990661
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.13175983899964194
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.12252977700063639
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 5.614664355000059
    },
    {
      "branch": "0ebfcf42b344",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.021995207000145456
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.11349296599928493
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.11493648400028178
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.11464747400077613
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.12587749199974496
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 25.682893803999832
    },
    {
      "branch": "997febfd6666",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.03702691800026514
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "restore_executable",
      "wall_time": 0.1285051109998676
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "verify_executable_hash",
      "wall_time": 0.11535656799969729
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "clean_stale_results",
      "wall_time": 0.11603340700003173
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "patch_timeout_method",
      "wall_time": 0.10932246899938036
    },
    {
      "branch": "",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "run_tests",
      "wall_time": 17.357094813000003
    },
    {
      "branch": "e5ef4554e2bc",
      "exception_info_chars": 0,
      "exception_info_redacted": false,
      "returncode": 0,
      "step": "results_read",
      "wall_time": 0.0361443510000754
    }
  ],
  "evaluator_log_steps_omitted": 0,
  "executable_hash": "478b5a11a86342a6a04b3db19a99b381e74fd78ef2ab965c9864266f9cc269c9",
  "failed_tests": [
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 6743,
      "message_redacted": true,
      "name": "eval.tests.test_basic_invocation.test_no_arguments",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 43,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_multiple_stdin_inputs",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 161,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_yul_file_without_parse_yul_flag",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 188,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_diagnostic_width_option",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 186,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_error_format_json_with_syntax_error",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 207,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_pretty_json_err_with_error",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 50,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_z_dump_hir_with_file",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 50,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_z_ast_stats",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 187,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_human",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 192,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_rustc_json",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 193,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_human_ascii",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 186,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_json",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 195,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_human_unicode",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 188,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_diagnostic_width",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 301,
      "message_redacted": true,
      "name": "eval.tests.test_error_handling.test_binary_file",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 535,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_no_input_files",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 192,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_error_format_rustc_json_with_error",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 50,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_z_print_max_storage_sizes",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 189,
      "message_redacted": true,
      "name": "eval.tests.test_coverage_gaps.test_error_with_multiple_contracts",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 193,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_error_format_human_short",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 183,
      "message_redacted": true,
      "name": "eval.tests.test_unstable_flags.test_z_track_diagnostics",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 367,
      "message_redacted": true,
      "name": "eval.tests.test_unstable_flags.test_z_dump_hir",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 160,
      "message_redacted": true,
      "name": "eval.tests.test_error_handling.test_syntax_error",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 160,
      "message_redacted": true,
      "name": "eval.tests.test_error_handling.test_missing_semicolon",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 207,
      "message_redacted": true,
      "name": "eval.tests.test_display_options.test_pretty_json_err",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 327,
      "message_redacted": true,
      "name": "eval.tests.test_error_handling.test_invalid_pragma",
      "status": "failure"
    },
    {
      "branch": "69f0eeebd3b8",
      "message_chars": 50,
      "message_redacted": true,
      "name": "eval.tests.test_unstable_flags.test_z_ast_stats",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 456,
      "message_redacted": true,
      "name": "tests.test_comprehensive_coverage.TestDumpFlags.test_dump_hir",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 170,
      "message_redacted": true,
      "name": "tests.test_additional_coverage.test_yul_file_extension_detection",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 170,
      "message_redacted": true,
      "name": "tests.test_coverage_gaps.test_yul_file_without_parse_flag",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 208,
      "message_redacted": true,
      "name": "tests.test_coverage_gaps.test_diagnostic_width_invalid",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 173,
      "message_redacted": true,
      "name": "tests.test_compilation_stages.test_stop_after_parsing_with_syntax_error",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_multiple_errors",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 181,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_error_format_human_unicode",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_edge_cases.test_unicode_in_strings",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_syntax_error_human",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_inheritance",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_final_coverage_push.TestErrorPaths.test_unterminated_comment",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_final_coverage_push.TestErrorPaths.test_missing_semicolon",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 192,
      "message_redacted": true,
      "name": "tests.test_flag_combinations.test_color_with_error_format",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 193,
      "message_redacted": true,
      "name": "tests.test_flag_combinations.test_error_format_json_with_pretty_err",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 166,
      "message_redacted": true,
      "name": "tests.test_formatting.test_color_with_error",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 162,
      "message_redacted": true,
      "name": "tests.test_comprehensive_coverage.TestDumpFlags.test_dump_hir_with_analysis",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 198,
      "message_redacted": true,
      "name": "tests.test_coverage_gaps.test_error_format_json",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_error_with_line_numbers",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 179,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_error_format_human_short",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 172,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_syntax_error_json",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_literals_and_types.test_var_keyword",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 218,
      "message_redacted": true,
      "name": "tests.test_coverage_gaps.test_pretty_json_err_output",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_missing_semicolon_statement",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 203,
      "message_redacted": true,
      "name": "tests.test_massive_coverage_push.test_error_format_json_with_real_error",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 208,
      "message_redacted": true,
      "name": "tests.test_massive_coverage_push.test_error_format_human_styles[short]",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_final_coverage_push.TestErrorPaths.test_invalid_character",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_final_coverage_push.TestErrorPaths.test_mismatched_braces",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 202,
      "message_redacted": true,
      "name": "tests.test_flag_combinations.test_error_format_with_diagnostic_width",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 309,
      "message_redacted": true,
      "name": "tests.test_comprehensive_coverage.TestAstStats.test_ast_stats_simple",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 204,
      "message_redacted": true,
      "name": "tests.test_coverage_gaps.test_error_format_rustc_json",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_duplicate_contract_names",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_missing_semicolon_error",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 178,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_syntax_error_rustc_json",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 208,
      "message_redacted": true,
      "name": "tests.test_massive_coverage_push.test_error_format_human_styles[ascii]",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_final_coverage_push.TestErrorPaths.test_invalid_pragma_value",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 385,
      "message_redacted": true,
      "name": "tests.test_unstable_flags.test_z_dump_hir",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 309,
      "message_redacted": true,
      "name": "tests.test_comprehensive_coverage.TestAstStats.test_ast_stats_complex",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_function_name",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 179,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_error_format_human_ascii",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 167,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_pretty_json_err",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 212,
      "message_redacted": true,
      "name": "tests.test_massive_coverage_push.test_error_format_human_styles[unicode]",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 31,
      "message_redacted": true,
      "name": "tests.test_comprehensive_coverage.TestPrintMaxStorageSizes.test_print_max_storage_sizes",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_visibility",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 174,
      "message_redacted": true,
      "name": "tests.test_error_handling.test_diagnostic_width",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_state_mutability",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_unclosed_paren",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_number_literal",
      "status": "failure"
    },
    {
      "branch": "9002b036e2c3",
      "message_chars": 146,
      "message_redacted": true,
      "name": "tests.test_error_scenarios.test_invalid_hex_literal",
      "status": "failure"
    },
    {
      "branch": "1fced6989730",
      "message_chars": 419,
      "message_redacted": true,
      "name": "tests.test_ast_dump.test_dump_ast_literals_full_output",
      "status": "failure"
    },
    {
      "branch": "1fced6989730",
      "message_chars": 220,
      "message_redacted": true,
      "name": "tests.test_diagnostic_confusion.test_missing_override_in_derived",
      "status": "failure"
    },
    {
      "branch": "1fced6989730",
      "message_chars": 584,
      "message_redacted": true,
      "name": "tests.test_bytecode.test_emit_abi_only",
      "status": "failure"
    },
    {
      "branch": "1fced6989730",
      "message_chars": 228,
      "message_redacted": true,
      "name": "tests.test_diagnostic_confusion.test_library_cannot_have_receive_function",
      "status": "failure"
    },
    {
      "branch": "1fced6989730",
      "message_chars": 725,
      "message_redacted": true,
      "name": "tests.test_diagnostics_deep.test_visibility_error_json_with_secondary_locations",
      "status": "failure"
    }
  ],
  "failed_tests_omitted": 1028,
  "status_counts": {
    "error": 1,
    "failure": 1105,
    "passed": 1420,
    "skipped": 2
  },
  "test_branch_errors": {},
  "test_branches": [
    "69f0eeebd3b8",
    "9002b036e2c3",
    "1fced6989730",
    "a115183849a2",
    "dc2dc640fac2",
    "5e812627cc20",
    "c554a726e6b2",
    "0ebfcf42b344",
    "997febfd6666",
    "e5ef4554e2bc"
  ],
  "test_records": 2528,
  "warnings": []
}