Skip to content

Add tests for TupleDistribution typing to Vector#414

Merged
Eric-Vin merged 1 commit intoBerkeleyLearnVerify:mainfrom
lola831:test-tupledistribution
Feb 22, 2026
Merged

Add tests for TupleDistribution typing to Vector#414
Eric-Vin merged 1 commit intoBerkeleyLearnVerify:mainfrom
lola831:test-tupledistribution

Conversation

@lola831
Copy link
Copy Markdown
Collaborator

@lola831 lola831 commented Nov 3, 2025

Description

Add tests for coercing TupleDistribution to Vector and rejecting invalid lengths.

Issue Link

N/A

Checklist

  • I have tested the changes locally via pytest and/or other means
  • I have added or updated relevant documentation
  • I have autoformatted the code with black and isort
  • I have added test cases (if applicable)

Additional Notes

N/A

@lola831 lola831 requested a review from dfremont November 3, 2025 23:01
@codecov
Copy link
Copy Markdown

codecov Bot commented Nov 3, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.58%. Comparing base (40d8d1d) to head (e6c0049).
⚠️ Report is 26 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #414      +/-   ##
==========================================
+ Coverage   89.85%   90.58%   +0.72%     
==========================================
  Files          54       54              
  Lines       13549    14322     +773     
==========================================
+ Hits        12174    12973     +799     
+ Misses       1375     1349      -26     

see 12 files with indirect coverage changes

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

@Eric-Vin
Copy link
Copy Markdown
Collaborator

Going to close/re-open to attempt to trigger tests again.

@Eric-Vin Eric-Vin closed this Feb 21, 2026
@Eric-Vin Eric-Vin reopened this Feb 21, 2026
@Eric-Vin
Copy link
Copy Markdown
Collaborator

Getting what appear to be unrelated driving domain test failures...

@Eric-Vin Eric-Vin closed this Feb 21, 2026
@Eric-Vin Eric-Vin reopened this Feb 21, 2026
@Eric-Vin Eric-Vin merged commit 13e083b into BerkeleyLearnVerify:main Feb 22, 2026
72 of 87 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants