Skip to content

Make visibility pruning test deterministic#447

Open
lola831 wants to merge 2 commits into
BerkeleyLearnVerify:mainfrom
lola831:fix-visibility-pruning-flake
Open

Make visibility pruning test deterministic#447
lola831 wants to merge 2 commits into
BerkeleyLearnVerify:mainfrom
lola831:fix-visibility-pruning-flake

update docstring for test_visibility_pruning

009ccfc
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Apr 3, 2026 in 0s

89.72% (target 80.00%)

View this Pull Request on Codecov

89.72% (target 80.00%)

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.72%. Comparing base (07625cb) to head (009ccfc).
⚠️ Report is 6 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #447      +/-   ##
==========================================
+ Coverage   89.66%   89.72%   +0.06%     
==========================================
  Files          48       48              
  Lines       13193    13194       +1     
==========================================
+ Hits        11829    11838       +9     
+ Misses       1364     1356       -8     

see 7 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.