Click here for information about interpreting this report.
| Filename | Function Coverage | Line Coverage | Region Coverage | Branch Coverage |
air/src/ast_util.rs | 94.44% (51/54) | 92.46% (233/252) | 91.57% (391/427) | - (0/0) |
air/src/block_to_assert.rs | 100.00% (2/2) | 94.83% (55/58) | 97.89% (139/142) | - (0/0) |
air/src/closure.rs | 100.00% (27/27) | 93.88% (552/588) | 95.68% (1484/1551) | - (0/0) |
air/src/context.rs | 62.50% (25/40) | 70.64% (255/361) | 69.56% (393/565) | - (0/0) |
air/src/def.rs | 100.00% (2/2) | 100.00% (6/6) | 100.00% (7/7) | - (0/0) |
air/src/emitter.rs | 88.89% (16/18) | 80.00% (96/120) | 72.73% (128/176) | - (0/0) |
air/src/focus.rs | 100.00% (5/5) | 89.66% (52/58) | 88.12% (89/101) | - (0/0) |
air/src/messages.rs | 0.00% (0/16) | 0.00% (0/97) | 0.00% (0/130) | - (0/0) |
air/src/model.rs | 50.00% (1/2) | 44.44% (8/18) | 37.50% (12/32) | - (0/0) |
air/src/parser.rs | 69.39% (34/49) | 59.64% (399/669) | 53.10% (866/1631) | - (0/0) |
air/src/printer.rs | 76.74% (33/43) | 71.73% (368/513) | 65.97% (731/1108) | - (0/0) |
air/src/profiler.rs | 0.00% (0/16) | 0.00% (0/166) | 0.00% (0/265) | - (0/0) |
air/src/remove_asserts.rs | 100.00% (1/1) | 53.57% (15/28) | 50.00% (26/52) | - (0/0) |
air/src/scope_map.rs | 100.00% (12/12) | 93.75% (60/64) | 96.58% (113/117) | - (0/0) |
air/src/smt_process.rs | 94.12% (16/17) | 76.92% (120/156) | 76.76% (185/241) | - (0/0) |
air/src/smt_verify.rs | 94.44% (17/18) | 80.29% (330/411) | 83.90% (615/733) | - (0/0) |
air/src/tests.rs | 0.00% (0/1) | 0.00% (0/29) | 0.00% (0/47) | - (0/0) |
air/src/typecheck.rs | 93.10% (27/29) | 71.06% (496/698) | 74.68% (1165/1560) | - (0/0) |
air/src/util.rs | 100.00% (1/1) | 100.00% (3/3) | 100.00% (6/6) | - (0/0) |
air/src/var_to_const.rs | 85.71% (12/14) | 96.50% (193/200) | 96.26% (463/481) | - (0/0) |
air/src/visitor.rs | 100.00% (2/2) | 70.34% (83/118) | 69.81% (222/318) | - (0/0) |
cargo-verus-toolchains/src/installed.rs | 0.00% (0/3) | 0.00% (0/19) | 0.00% (0/27) | - (0/0) |
cargo-verus-toolchains/src/lib.rs | 0.00% (0/11) | 0.00% (0/86) | 0.00% (0/183) | - (0/0) |
cargo-verus-toolchains/src/versions.rs | 0.00% (0/2) | 0.00% (0/2) | 0.00% (0/2) | - (0/0) |
rust_verify/src/attributes.rs | 76.47% (39/51) | 86.88% (821/945) | 83.02% (1413/1702) | - (0/0) |
rust_verify/src/automatic_derive.rs | 90.91% (10/11) | 86.03% (117/136) | 88.61% (140/158) | - (0/0) |
rust_verify/src/boundary_suggestions.rs | 100.00% (41/41) | 91.06% (428/470) | 91.25% (720/789) | - (0/0) |
rust_verify/src/buckets.rs | 75.00% (9/12) | 81.25% (52/64) | 80.67% (96/119) | - (0/0) |
rust_verify/src/cargo_verus.rs | 88.89% (16/18) | 94.05% (158/168) | 95.61% (283/296) | - (0/0) |
rust_verify/src/cargo_verus_dep_tracker.rs | 85.71% (6/7) | 94.12% (32/34) | 95.16% (59/62) | - (0/0) |
rust_verify/src/commands.rs | 85.71% (24/28) | 87.78% (316/360) | 91.77% (513/559) | - (0/0) |
rust_verify/src/config.rs | 55.00% (11/20) | 71.19% (336/472) | 73.80% (645/874) | - (0/0) |
rust_verify/src/context.rs | 100.00% (23/23) | 98.16% (160/163) | 96.35% (185/192) | - (0/0) |
rust_verify/src/debugger.rs | 0.00% (0/7) | 0.00% (0/106) | 0.00% (0/219) | - (0/0) |
rust_verify/src/def.rs | 100.00% (2/2) | 100.00% (13/13) | 100.00% (14/14) | - (0/0) |
rust_verify/src/driver.rs | 79.41% (27/34) | 83.96% (246/293) | 81.22% (320/394) | - (0/0) |
rust_verify/src/erase.rs | 75.00% (12/16) | 87.15% (217/249) | 89.18% (338/379) | - (0/0) |
rust_verify/src/expand_errors_driver.rs | 100.00% (18/18) | 91.00% (283/311) | 93.69% (520/555) | - (0/0) |
rust_verify/src/external.rs | 85.71% (18/21) | 80.67% (338/419) | 84.25% (460/546) | - (0/0) |
rust_verify/src/externs.rs | 66.67% (2/3) | 66.00% (33/50) | 63.16% (48/76) | - (0/0) |
rust_verify/src/file_loader.rs | 0.00% (0/1) | 0.00% (0/3) | 0.00% (0/3) | - (0/0) |
rust_verify/src/fn_call_to_vir.rs | 98.36% (60/61) | 85.65% (1737/2028) | 84.40% (3391/4018) | - (0/0) |
rust_verify/src/hir_hide_reveal_rewrite.rs | 100.00% (10/10) | 87.50% (140/160) | 90.05% (190/211) | - (0/0) |
rust_verify/src/import_export.rs | 75.00% (3/4) | 76.92% (50/65) | 87.91% (80/91) | - (0/0) |
rust_verify/src/main.rs | 12.90% (4/31) | 27.42% (116/423) | 31.42% (230/732) | - (0/0) |
rust_verify/src/profiler.rs | 0.00% (0/6) | 0.00% (0/66) | 0.00% (0/113) | - (0/0) |
rust_verify/src/resolve_traits.rs | 100.00% (1/1) | 87.27% (48/55) | 85.15% (86/101) | - (0/0) |
rust_verify/src/reveal_hide.rs | 75.00% (3/4) | 83.16% (79/95) | 74.60% (141/189) | - (0/0) |
rust_verify/src/rust_intrinsics_to_vir.rs | 100.00% (6/6) | 100.00% (69/69) | 100.00% (73/73) | - (0/0) |
rust_verify/src/rust_to_vir.rs | 65.22% (15/23) | 87.36% (401/459) | 85.65% (609/711) | - (0/0) |
rust_verify/src/rust_to_vir_adts.rs | 100.00% (14/14) | 92.13% (562/610) | 91.54% (941/1028) | - (0/0) |
rust_verify/src/rust_to_vir_base.rs | 87.91% (80/91) | 87.33% (1772/2029) | 86.11% (2679/3111) | - (0/0) |
rust_verify/src/rust_to_vir_ctor.rs | 100.00% (3/3) | 95.71% (67/70) | 95.45% (126/132) | - (0/0) |
rust_verify/src/rust_to_vir_expr.rs | 97.09% (100/103) | 89.48% (2646/2957) | 87.67% (5110/5829) | - (0/0) |
rust_verify/src/rust_to_vir_func.rs | 94.81% (73/77) | 81.84% (1983/2423) | 80.76% (3044/3769) | - (0/0) |
rust_verify/src/rust_to_vir_global.rs | 75.00% (3/4) | 78.75% (63/80) | 84.67% (116/137) | - (0/0) |
rust_verify/src/rust_to_vir_impl.rs | 88.89% (16/18) | 94.05% (601/639) | 93.82% (1002/1068) | - (0/0) |
rust_verify/src/rust_to_vir_trait.rs | 94.12% (16/17) | 88.25% (383/434) | 88.71% (668/753) | - (0/0) |
rust_verify/src/spans.rs | 95.45% (21/22) | 85.22% (196/230) | 85.89% (341/397) | - (0/0) |
rust_verify/src/trait_check.rs | 50.00% (5/10) | 70.78% (109/154) | 72.47% (179/247) | - (0/0) |
rust_verify/src/trait_check_ast.rs | 100.00% (3/3) | 100.00% (9/9) | 100.00% (13/13) | - (0/0) |
rust_verify/src/trait_check_emit.rs | 100.00% (30/30) | 91.17% (351/385) | 92.46% (625/676) | - (0/0) |
rust_verify/src/trait_check_generate.rs | 100.00% (10/10) | 97.53% (79/81) | 95.04% (115/121) | - (0/0) |
rust_verify/src/trait_conflicts.rs | 100.00% (17/17) | 95.60% (348/364) | 95.82% (710/741) | - (0/0) |
rust_verify/src/user_filter.rs | 16.13% (5/31) | 11.26% (25/222) | 7.78% (26/334) | - (0/0) |
rust_verify/src/util.rs | 76.00% (19/25) | 70.30% (116/165) | 71.85% (171/238) | - (0/0) |
rust_verify/src/verifier.rs | 71.54% (93/130) | 72.21% (1777/2461) | 72.30% (2723/3766) | - (0/0) |
rust_verify/src/verus_items.rs | 81.82% (9/11) | 95.31% (488/512) | 94.78% (853/900) | - (0/0) |
rustc_hir_typeck/src/expr_use_visitor.rs | 83.33% (65/78) | 69.42% (690/994) | 61.37% (1123/1830) | - (0/0) |
rustc_hir_typeck/src/upvar.rs | 66.07% (37/56) | 60.09% (414/689) | 56.85% (556/978) | - (0/0) |
rustc_mir_build/src/builder/block.rs | 91.67% (11/12) | 95.83% (184/192) | 93.29% (320/343) | - (0/0) |
rustc_mir_build/src/builder/cfg.rs | 92.31% (12/13) | 95.15% (98/103) | 91.96% (103/112) | - (0/0) |
rustc_mir_build/src/builder/coverageinfo.rs | 58.33% (7/12) | 43.66% (62/142) | 32.54% (68/209) | - (0/0) |
rustc_mir_build/src/builder/custom/mod.rs | 0.00% (0/4) | 0.00% (0/99) | 0.00% (0/107) | - (0/0) |
rustc_mir_build/src/builder/custom/parse.rs | 0.00% (0/11) | 0.00% (0/158) | 0.00% (0/319) | - (0/0) |
rustc_mir_build/src/builder/custom/parse/instruction.rs | 0.00% (0/24) | 0.00% (0/237) | 0.00% (0/601) | - (0/0) |
rustc_mir_build/src/builder/expr/as_constant.rs | 100.00% (5/5) | 74.34% (84/113) | 65.34% (181/277) | - (0/0) |
rustc_mir_build/src/builder/expr/as_operand.rs | 100.00% (7/7) | 86.96% (80/92) | 81.82% (135/165) | - (0/0) |
rustc_mir_build/src/builder/expr/as_place.rs | 97.22% (35/36) | 85.91% (372/433) | 83.17% (578/695) | - (0/0) |
rustc_mir_build/src/builder/expr/as_rvalue.rs | 75.00% (9/12) | 70.18% (320/456) | 74.40% (625/840) | - (0/0) |
rustc_mir_build/src/builder/expr/as_temp.rs | 100.00% (4/4) | 87.34% (69/79) | 88.11% (126/143) | - (0/0) |
rustc_mir_build/src/builder/expr/category.rs | 100.00% (1/1) | 88.89% (8/9) | 88.89% (8/9) | - (0/0) |
rustc_mir_build/src/builder/expr/into.rs | 61.54% (16/26) | 60.82% (416/684) | 63.76% (848/1330) | - (0/0) |
rustc_mir_build/src/builder/expr/stmt.rs | 50.00% (2/4) | 76.03% (92/121) | 72.20% (174/241) | - (0/0) |
rustc_mir_build/src/builder/matches/buckets.rs | 25.00% (3/12) | 47.89% (68/142) | 45.45% (90/198) | - (0/0) |
rustc_mir_build/src/builder/matches/match_pair.rs | 66.67% (2/3) | 53.60% (119/222) | 44.66% (159/356) | - (0/0) |
rustc_mir_build/src/builder/matches/mod.rs | 81.55% (84/103) | 84.42% (1214/1438) | 79.93% (1740/2177) | - (0/0) |
rustc_mir_build/src/builder/matches/test.rs | 60.00% (6/10) | 36.95% (126/341) | 38.27% (199/520) | - (0/0) |
rustc_mir_build/src/builder/matches/user_ty.rs | 76.92% (10/13) | 74.67% (56/75) | 66.67% (80/120) | - (0/0) |
rustc_mir_build/src/builder/matches/util.rs | 92.31% (12/13) | 84.82% (95/112) | 81.61% (142/174) | - (0/0) |
rustc_mir_build/src/builder/misc.rs | 80.00% (4/5) | 52.50% (21/40) | 69.23% (45/65) | - (0/0) |
rustc_mir_build/src/builder/mod.rs | 81.25% (39/48) | 78.30% (563/719) | 75.02% (907/1209) | - (0/0) |
rustc_mir_build/src/builder/scope.rs | 81.52% (75/92) | 68.56% (809/1180) | 66.10% (1160/1755) | - (0/0) |
rustc_mir_build/src/check_tail_calls.rs | 0.00% (0/20) | 0.00% (0/315) | 0.00% (0/489) | - (0/0) |
rustc_mir_build/src/check_unsafety.rs | 0.00% (0/31) | 0.00% (0/765) | 0.00% (0/981) | - (0/0) |
rustc_mir_build/src/errors.rs | 0.00% (0/5) | 0.00% (0/72) | 0.00% (0/131) | - (0/0) |
rustc_mir_build/src/lib.rs | 50.00% (1/2) | 23.08% (3/13) | 25.00% (3/12) | - (0/0) |
rustc_mir_build/src/thir/constant.rs | 0.00% (0/4) | 0.00% (0/82) | 0.00% (0/230) | - (0/0) |
rustc_mir_build/src/thir/cx/block.rs | 100.00% (6/6) | 100.00% (93/93) | 100.00% (114/114) | - (0/0) |
rustc_mir_build/src/thir/cx/expr.rs | 78.00% (39/50) | 69.15% (399/577) | 65.49% (592/904) | - (0/0) |
rustc_mir_build/src/thir/cx/mod.rs | 100.00% (9/9) | 80.30% (106/132) | 83.12% (192/231) | - (0/0) |
rustc_mir_build/src/thir/pattern/check_match.rs | 0.00% (0/79) | 0.00% (0/1117) | 0.00% (0/1878) | - (0/0) |
rustc_mir_build/src/thir/pattern/const_to_pat.rs | 27.78% (5/18) | 13.12% (45/343) | 10.85% (60/553) | - (0/0) |
rustc_mir_build/src/thir/pattern/migration.rs | 64.29% (9/14) | 54.93% (78/142) | 47.53% (106/223) | - (0/0) |
rustc_mir_build/src/thir/pattern/mod.rs | 88.89% (24/27) | 74.66% (330/442) | 71.70% (575/802) | - (0/0) |
rustc_mir_build/src/thir/print.rs | 0.00% (0/24) | 0.00% (0/858) | 0.00% (0/1606) | - (0/0) |
rustc_mir_build/src/thir/util.rs | 100.00% (1/1) | 80.00% (16/20) | 85.19% (23/27) | - (0/0) |
rustc_mir_build_additional_files/verus.rs | 98.70% (76/77) | 94.30% (1108/1175) | 94.05% (1550/1648) | - (0/0) |
rustc_mir_build_additional_files/verus_builder.rs | 100.00% (7/7) | 93.18% (82/88) | 95.35% (123/129) | - (0/0) |
rustc_mir_build_additional_files/verus_expr.rs | 100.00% (13/13) | 84.39% (146/173) | 85.17% (247/290) | - (0/0) |
rustc_mir_build_additional_files/verus_time_travel_prevention.rs | 100.00% (42/42) | 91.96% (1029/1119) | 90.73% (1536/1693) | - (0/0) |
tools/internals_interface/src/lib.rs | 0.00% (0/2) | 0.00% (0/6) | 0.00% (0/10) | - (0/0) |
vir/src/assoc_types_to_air.rs | 100.00% (5/5) | 92.41% (73/79) | 95.76% (158/165) | - (0/0) |
vir/src/ast_simplify.rs | 97.01% (65/67) | 95.89% (1236/1289) | 97.89% (2317/2367) | - (0/0) |
vir/src/ast_sort.rs | 100.00% (4/4) | 100.00% (51/51) | 100.00% (87/87) | - (0/0) |
vir/src/ast_to_sst.rs | 98.31% (116/118) | 96.29% (3064/3182) | 95.22% (6198/6509) | - (0/0) |
vir/src/ast_to_sst_crate.rs | 100.00% (1/1) | 100.00% (51/51) | 99.21% (125/126) | - (0/0) |
vir/src/ast_to_sst_func.rs | 100.00% (43/43) | 98.50% (856/869) | 95.69% (1442/1507) | - (0/0) |
vir/src/ast_util.rs | 83.12% (133/160) | 78.56% (777/989) | 78.48% (1346/1715) | - (0/0) |
vir/src/ast_visitor.rs | 92.92% (302/325) | 93.69% (1693/1807) | 88.32% (3033/3434) | - (0/0) |
vir/src/autospec.rs | 100.00% (11/11) | 98.56% (137/139) | 98.77% (240/243) | - (0/0) |
vir/src/bitvector_to_air.rs | 94.44% (34/36) | 89.98% (727/808) | 89.80% (1629/1814) | - (0/0) |
vir/src/check_ast_flavor.rs | 0.00% (0/17) | 0.00% (0/135) | 0.00% (0/236) | - (0/0) |
vir/src/closures.rs | 100.00% (2/2) | 95.00% (19/20) | 91.30% (21/23) | - (0/0) |
vir/src/context.rs | 85.71% (30/35) | 88.26% (564/639) | 86.31% (971/1125) | - (0/0) |
vir/src/datatype_to_air.rs | 100.00% (24/24) | 96.81% (668/690) | 98.55% (1567/1590) | - (0/0) |
vir/src/def.rs | 94.81% (128/135) | 94.69% (696/735) | 93.95% (1118/1190) | - (0/0) |
vir/src/early_exit_cf.rs | 100.00% (4/4) | 97.87% (46/47) | 98.48% (65/66) | - (0/0) |
vir/src/expand_errors.rs | 89.19% (33/37) | 87.48% (685/783) | 87.00% (1278/1469) | - (0/0) |
vir/src/headers.rs | 100.00% (17/17) | 84.36% (383/454) | 93.13% (583/626) | - (0/0) |
vir/src/heuristics.rs | 75.00% (3/4) | 71.08% (59/83) | 77.66% (146/188) | - (0/0) |
vir/src/interpreter.rs | 71.90% (87/121) | 70.35% (942/1339) | 68.84% (1955/2840) | - (0/0) |
vir/src/inv_masks.rs | 100.00% (21/21) | 90.13% (210/233) | 94.72% (323/341) | - (0/0) |
vir/src/layout.rs | 100.00% (2/2) | 70.00% (7/10) | 72.73% (8/11) | - (0/0) |
vir/src/messages.rs | 75.56% (34/45) | 73.60% (276/375) | 71.89% (312/434) | - (0/0) |
vir/src/modes.rs | 100.00% (89/89) | 90.31% (2637/2920) | 93.45% (4249/4547) | - (0/0) |
vir/src/opaque_type_to_air.rs | 100.00% (2/2) | 91.03% (71/78) | 92.75% (192/207) | - (0/0) |
vir/src/patterns.rs | 100.00% (11/11) | 96.71% (206/213) | 95.74% (382/399) | - (0/0) |
vir/src/place_preconditions.rs | 100.00% (9/9) | 100.00% (68/68) | 100.00% (160/160) | - (0/0) |
vir/src/poly.rs | 98.39% (61/62) | 94.38% (924/979) | 96.59% (2183/2260) | - (0/0) |
vir/src/prelude.rs | 100.00% (8/8) | 98.90% (717/725) | 99.17% (1560/1573) | - (0/0) |
vir/src/printer.rs | 2.50% (1/40) | 0.81% (3/369) | 0.44% (3/682) | - (0/0) |
vir/src/prune.rs | 98.25% (56/57) | 97.80% (1021/1044) | 98.10% (1861/1897) | - (0/0) |
vir/src/reachability.rs | 100.00% (6/6) | 100.00% (44/44) | 100.00% (87/87) | - (0/0) |
vir/src/recursion.rs | 100.00% (26/26) | 93.33% (462/495) | 95.82% (849/886) | - (0/0) |
vir/src/recursive_types.rs | 96.67% (29/30) | 90.80% (533/587) | 91.29% (922/1010) | - (0/0) |
vir/src/resolution_inference.rs | 88.36% (129/146) | 89.81% (2116/2356) | 88.97% (3373/3791) | - (0/0) |
vir/src/resolution_types.rs | 100.00% (7/7) | 97.10% (67/69) | 97.70% (85/87) | - (0/0) |
vir/src/resolve_axioms.rs | 100.00% (10/10) | 99.06% (211/213) | 99.49% (391/393) | - (0/0) |
vir/src/safe_api.rs | 100.00% (10/10) | 95.90% (187/195) | 96.97% (256/264) | - (0/0) |
vir/src/scc.rs | 77.42% (24/31) | 74.25% (199/268) | 72.76% (366/503) | - (0/0) |
vir/src/sst_elaborate.rs | 100.00% (18/18) | 98.12% (261/266) | 96.86% (524/541) | - (0/0) |
vir/src/sst_to_air.rs | 93.97% (109/116) | 85.79% (2095/2442) | 89.37% (4761/5327) | - (0/0) |
vir/src/sst_to_air_func.rs | 100.00% (31/31) | 96.96% (797/822) | 97.16% (1473/1516) | - (0/0) |
vir/src/sst_util.rs | 90.00% (81/90) | 84.43% (754/893) | 83.77% (1425/1701) | - (0/0) |
vir/src/sst_vars.rs | 100.00% (38/38) | 96.96% (669/690) | 97.31% (1229/1263) | - (0/0) |
vir/src/sst_visitor.rs | 94.63% (194/205) | 94.38% (923/978) | 88.88% (1711/1925) | - (0/0) |
vir/src/traits.rs | 97.33% (73/75) | 94.38% (1225/1298) | 94.69% (2158/2279) | - (0/0) |
vir/src/triggers.rs | 100.00% (21/21) | 84.84% (291/343) | 88.69% (455/513) | - (0/0) |
vir/src/triggers_auto.rs | 97.30% (36/37) | 87.65% (440/502) | 88.36% (934/1057) | - (0/0) |
vir/src/unicode.rs | 100.00% (2/2) | 100.00% (9/9) | 100.00% (13/13) | - (0/0) |
vir/src/user_defined_type_invariants.rs | 100.00% (6/6) | 86.14% (87/101) | 89.21% (124/139) | - (0/0) |
vir/src/util.rs | 42.86% (3/7) | 30.56% (11/36) | 40.48% (17/42) | - (0/0) |
vir/src/visitor.rs | 80.77% (21/26) | 89.42% (93/104) | 90.35% (103/114) | - (0/0) |
vir/src/well_formed.rs | 96.15% (50/52) | 86.32% (1350/1564) | 89.78% (1677/1868) | - (0/0) |
Totals | 82.03% (4099/4997) | 79.61% (62175/78101) | 79.56% (109964/138212) | - (0/0) |