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.43% (393/566) | - (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) | 60.00% (402/670) | 53.30% (871/1634) | - (0/0) |
air/src/printer.rs | 76.74% (33/43) | 71.90% (371/516) | 66.16% (737/1114) | - (0/0) |
air/src/profiler.rs | 0.00% (0/16) | 0.00% (0/166) | 0.00% (0/265) | - (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) | 77.42% (120/155) | 76.76% (185/241) | - (0/0) |
air/src/smt_verify.rs | 94.12% (16/17) | 80.10% (326/407) | 83.86% (613/731) | - (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) |
rust_verify/src/attributes.rs | 76.00% (38/50) | 86.68% (807/931) | 82.75% (1391/1681) | - (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 | 95.00% (38/40) | 85.06% (393/462) | 85.46% (664/777) | - (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% (20/20) | 100.00% (136/136) | 100.00% (152/152) | - (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) | 85.12% (246/289) | 82.26% (320/389) | - (0/0) |
rust_verify/src/erase.rs | 76.47% (13/17) | 88.15% (238/270) | 89.76% (368/410) | - (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.25% (56/57) | 85.56% (1694/1980) | 84.26% (3330/3952) | - (0/0) |
rust_verify/src/hir_hide_reveal_rewrite.rs | 100.00% (10/10) | 87.42% (139/159) | 89.86% (186/207) | - (0/0) |
rust_verify/src/import_export.rs | 75.00% (3/4) | 74.14% (43/58) | 87.64% (78/89) | - (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.04% (47/54) | 85.00% (85/100) | - (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.85% (405/461) | 85.97% (613/713) | - (0/0) |
rust_verify/src/rust_to_vir_adts.rs | 100.00% (12/12) | 91.93% (547/595) | 91.51% (905/989) | - (0/0) |
rust_verify/src/rust_to_vir_base.rs | 87.78% (79/90) | 87.07% (1737/1995) | 85.83% (2628/3062) | - (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 | 98.06% (101/103) | 88.76% (2536/2857) | 86.71% (4926/5681) | - (0/0) |
rust_verify/src/rust_to_vir_func.rs | 94.52% (69/73) | 81.44% (1939/2381) | 80.22% (2952/3680) | - (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.14% (594/631) | 93.88% (997/1062) | - (0/0) |
rust_verify/src/rust_to_vir_trait.rs | 90.91% (10/11) | 87.34% (352/403) | 88.17% (626/710) | - (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.18% (179/248) | - (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.32% (1790/2475) | 72.34% (2741/3789) | - (0/0) |
rust_verify/src/verus_items.rs | 81.82% (9/11) | 95.02% (458/482) | 94.18% (761/808) | - (0/0) |
rustc_hir_typeck/src/expr_use_visitor.rs | 83.33% (65/78) | 69.15% (686/992) | 61.41% (1122/1827) | - (0/0) |
rustc_hir_typeck/src/upvar.rs | 66.07% (37/56) | 60.26% (411/682) | 57.17% (550/962) | - (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.00% (95/100) | 91.96% (103/112) | - (0/0) |
rustc_mir_build/src/builder/coverageinfo.rs | 58.33% (7/12) | 42.25% (60/142) | 28.23% (59/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/23) | 0.00% (0/236) | 0.00% (0/604) | - (0/0) |
rustc_mir_build/src/builder/expr/as_constant.rs | 100.00% (5/5) | 68.14% (77/113) | 58.48% (162/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) | 86.11% (372/432) | 83.29% (578/694) | - (0/0) |
rustc_mir_build/src/builder/expr/as_rvalue.rs | 75.00% (9/12) | 66.89% (301/450) | 72.36% (597/825) | - (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) | 62.22% (410/659) | 63.98% (826/1291) | - (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 | 75.00% (3/4) | 53.65% (125/233) | 46.11% (160/347) | - (0/0) |
rustc_mir_build/src/builder/matches/mod.rs | 81.55% (84/103) | 84.42% (1214/1438) | 79.92% (1739/2176) | - (0/0) |
rustc_mir_build/src/builder/matches/test.rs | 60.00% (6/10) | 37.39% (126/337) | 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.36% (565/721) | 74.92% (902/1204) | - (0/0) |
rustc_mir_build/src/builder/scope.rs | 81.52% (75/92) | 68.45% (805/1176) | 66.12% (1159/1753) | - (0/0) |
rustc_mir_build/src/check_tail_calls.rs | 0.00% (0/20) | 0.00% (0/317) | 0.00% (0/491) | - (0/0) |
rustc_mir_build/src/check_unsafety.rs | 0.00% (0/35) | 0.00% (0/821) | 0.00% (0/1061) | - (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.39% (399/575) | 65.89% (593/900) | - (0/0) |
rustc_mir_build/src/thir/cx/mod.rs | 100.00% (9/9) | 80.92% (106/131) | 83.41% (191/229) | - (0/0) |
rustc_mir_build/src/thir/pattern/check_match.rs | 0.00% (0/78) | 0.00% (0/1067) | 0.00% (0/1783) | - (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.43% (329/442) | 71.57% (574/802) | - (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.24% (1113/1181) | 93.96% (1555/1655) | - (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% (14/14) | 82.01% (155/189) | 83.66% (256/306) | - (0/0) |
rustc_mir_build_additional_files/verus_time_travel_prevention.rs | 100.00% (42/42) | 91.95% (1028/1118) | 90.70% (1532/1689) | - (0/0) |
tools/internals_interface/src/lib.rs | 0.00% (0/2) | 0.00% (0/4) | 0.00% (0/8) | - (0/0) |
vir/src/assoc_types_to_air.rs | 100.00% (5/5) | 92.21% (71/77) | 95.68% (155/162) | - (0/0) |
vir/src/ast_simplify.rs | 96.97% (64/66) | 95.98% (1195/1245) | 97.97% (2273/2320) | - (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.25% (112/114) | 96.26% (2989/3105) | 94.98% (6039/6358) | - (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.51% (862/875) | 95.69% (1444/1509) | - (0/0) |
vir/src/ast_util.rs | 83.23% (134/161) | 78.67% (782/994) | 78.47% (1352/1723) | - (0/0) |
vir/src/ast_visitor.rs | 93.10% (297/319) | 93.67% (1671/1784) | 88.35% (2997/3392) | - (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.49% (724/809) | 89.66% (1621/1808) | - (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.19% (560/635) | 86.21% (963/1117) | - (0/0) |
vir/src/datatype_to_air.rs | 100.00% (24/24) | 96.77% (659/681) | 98.54% (1548/1571) | - (0/0) |
vir/src/def.rs | 94.89% (130/137) | 94.32% (714/757) | 93.62% (1145/1223) | - (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.93% (685/779) | 87.53% (1278/1460) | - (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.07% (86/121) | 69.96% (941/1345) | 68.41% (1919/2805) | - (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/loop_inference.rs | 100.00% (5/5) | 73.24% (52/71) | 86.14% (87/101) | - (0/0) |
vir/src/messages.rs | 75.56% (34/45) | 73.60% (276/375) | 71.66% (311/434) | - (0/0) |
vir/src/modes.rs | 100.00% (90/90) | 90.00% (2600/2889) | 93.30% (4193/4494) | - (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% (9/9) | 97.87% (184/188) | 98.07% (355/362) | - (0/0) |
vir/src/place_preconditions.rs | 100.00% (7/7) | 100.00% (52/52) | 100.00% (135/135) | - (0/0) |
vir/src/poly.rs | 98.39% (61/62) | 94.46% (921/975) | 96.63% (2179/2255) | - (0/0) |
vir/src/prelude.rs | 100.00% (7/7) | 99.86% (699/700) | 99.93% (1523/1524) | - (0/0) |
vir/src/printer.rs | 2.56% (1/39) | 0.81% (3/369) | 0.44% (3/685) | - (0/0) |
vir/src/prune.rs | 98.25% (56/57) | 97.79% (1018/1041) | 98.10% (1863/1899) | - (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.24% (455/488) | 95.81% (846/883) | - (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.74% (2117/2359) | 88.93% (3375/3795) | - (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) | 97.74% (260/266) | 96.67% (523/541) | - (0/0) |
vir/src/sst_to_air.rs | 93.52% (101/108) | 85.39% (2016/2361) | 89.07% (4594/5158) | - (0/0) |
vir/src/sst_to_air_func.rs | 100.00% (31/31) | 96.92% (787/812) | 97.12% (1450/1493) | - (0/0) |
vir/src/sst_util.rs | 91.01% (81/89) | 85.41% (755/884) | 84.17% (1425/1693) | - (0/0) |
vir/src/sst_vars.rs | 100.00% (28/28) | 96.35% (502/521) | 96.82% (975/1007) | - (0/0) |
vir/src/sst_visitor.rs | 93.72% (194/207) | 93.56% (915/978) | 87.71% (1699/1937) | - (0/0) |
vir/src/traits.rs | 97.33% (73/75) | 94.43% (1221/1293) | 94.73% (2157/2277) | - (0/0) |
vir/src/triggers.rs | 100.00% (21/21) | 84.35% (291/345) | 88.35% (455/515) | - (0/0) |
vir/src/triggers_auto.rs | 97.30% (36/37) | 87.82% (440/501) | 88.45% (934/1056) | - (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.05% (1326/1541) | 89.63% (1659/1851) | - (0/0) |
Totals | 82.48% (4052/4913) | 80.34% (61302/76302) | 80.37% (108420/134899) | - (0/0) |