{"abstract":"The analysis starts from a nonentry block and omits entry loan facts.","category":"Borrow checking","checks":21,"contract":"Check dataflow certificates for loan analysis. Reachability starts at entry and ignores dead blocks; all normal and exceptional successors participate; loop header solution includes backedge loans; kill transfer is edge-specific; phi origins correspond to predecessor edge; dominator proof must cover every incoming edge; a loan definition cannot be live before its definition except on a proven loop backedge; unreachable kills do not invalidate reachable loans; terminal return kills only function-local loans. Input is a fully explicit descriptor of the stated toy IR. Return rule identifiers in declaration order; absent optional obligations use the provided neutral defaults. No rule is an assertion about a production language.","evaluation_group":"s3-borrow-checking-cfg-loan-flow","failed_approach":"The partial repair uses if d['entry'] is not None and not d['reachable']: errors.append('entry-reachability'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-cfg-loan-flow-entry-reachability","id":"FA-43791","implementations":{"attempt":{"sha256":"29a3008ae0de50dc834af6f6d9ebcf376275316c282fdb70983d081fe608516c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['entry'] is not None and not d['reachable']: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if d['phi_edges']!=d['expected_phi_edges']: errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"5b742e0d34127edb1a0d0f65a78dc35582c2f42a2bb29bff54f7f3c46671b478","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if False: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if d['phi_edges']!=d['expected_phi_edges']: errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"1002a19ebe0b879f36ebafc9769e6b822bf106a7136c51f5e7c0bfad741985f4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['entry'] is not None and d['entry'] not in d['reachable']: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if d['phi_edges']!=d['expected_phi_edges']: errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"The explicitly stated toy language is the complete scope; this is not a production compiler or a claim about Rust semantics. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-borrow-checking-cfg-loan-flow-entry-reachability","generated_at":"2026-09-29T14:44:05.711469+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A finite offline static-analysis model of ownership and borrowing; it does not execute the analyzed program.","repair":"Apply the specified transfer or inference rule at this site: if d['entry'] is not None and d['entry'] not in d['reachable']: errors.append('entry-reachability').","root_cause":"The static analyzer mishandles entry reachability: the analysis starts from a nonentry block and omits entry loan facts.","sha256":"b288b8194335b80b3d9bcb41a0f7441504081089fb3b9fd3135cb6e7a4bb5a60","title":"The analysis starts from a nonentry block and omits entry loan facts · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.819,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":[],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":false},{"actual":[],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":false},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [], \"expected\": [\"entry-reachability\"], \"passed\": false}, {\"check\": \"entry-reachability regression 1\", \"actual\": [], \"expected\": [\"entry-reachability\"], \"passed\": false}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.707,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":[],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":false},{"actual":[],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":false},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [], \"expected\": [\"entry-reachability\"], \"passed\": false}, {\"check\": \"entry-reachability regression 1\", \"actual\": [], \"expected\": [\"entry-reachability\"], \"passed\": false}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.881,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"entry-reachability regression 1\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}