Judgment codegen_block at crates/formality-rust/src/codegen/mod.rs:85
Signature:
codegen_block(global: CodegenGlobal, cfn: CodegenFn, scope: CodegenScope, block: Block,) => (CodeBlock, CodegenGlobal, CodegenFn)The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
block| Line | Coverage | Source |
|---|---|---|
| 95 | ✗ | (if let None = &block.label) |
| 96 | N/A | (let code = cfn.fresh_code_block()) |
| 97 | ✗ | (for_all(i in 0..block.stmts.len()) with(code, scope, global, cfn) (codegen_stmt(global, cfn, scope, &block.stmts[i]) => (stmt_code, scope, global, cfn)) (let (code, cfn) = cfn.append_from(code, stmt_code))) |
| ──────── ("block") | ||
| 101 | ✗ | (codegen_block(global, cfn, scope, block) => (code, global, cfn)) |
labeled-block| Line | Coverage | Source |
|---|---|---|
| 105 | ✗ | (if let Some(label) = &block.label) |
| 106 | N/A | (let (exit_block, cfn) = cfn.fresh_bb()) |
| 107 | N/A | (let scope = scope.with_label(&label.id, (), exit_block)) |
| 108 | N/A | (let code = cfn.fresh_code_block()) |
| 109 | ✗ | (for_all(i in 0..block.stmts.len()) with(code, scope, global, cfn) (codegen_stmt(global, cfn, scope, &block.stmts[i]) => (stmt_code, scope, global, cfn)) (let (code, cfn) = cfn.append_from(code, stmt_code))) |
| 112 | N/A | (let (code, cfn) = cfn.terminate(code, terminator_goto(exit_block), Some(exit_block))) |
| ──────── ("labeled-block") | ||
| 114 | ✗ | (codegen_block(global, cfn, scope, block) => (code, global, cfn)) |