Skip to content

enhance(LargeSmtForest tests): expand LargeSmtForest property test coverage #886

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
AlexWaker wants to merge 5 commits into
base: next
Choose a base branch
from
+594 −69
Open

enhance(LargeSmtForest tests): expand LargeSmtForest property test coverage #886

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
c361c47
first commit
Mar 9, 2026
efe2f4e
Merge branch '0xMiden:next' into issue879
AlexWaker Mar 10, 2026
da7ee9b
delete unnecessary contents
Mar 10, 2026
fa521be
fix conflict
AlexWaker Mar 12, 2026
ad29a09
fix conflict and comments
AlexWaker Mar 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions miden-crypto/proptest-regressions/merkle/smt/large_forest/property_tests.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cc abf493f7aece0d6db6c370e3c95651effc9f46f7a2f97e2dccddacfce2afd16d
Copy link
Contributor

@huitseeker huitseeker Mar 23, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see any behavioral fixes in this PR. We usually only keep regression seeds like this when they allowed us to identify an interesting failure, which required fixing. This seems like it was just a development artifact and so does not need keeping.

Loading
Loading