Skip to content

prop_assume!(a != b) in some tests to fix spurious failures#2199

Merged
gefjon merged 1 commit intomasterfrom
phoebe/prop-assume-not-equal
Feb 3, 2025
Merged

prop_assume!(a != b) in some tests to fix spurious failures#2199
gefjon merged 1 commit intomasterfrom
phoebe/prop-assume-not-equal

Commits

Commits on Feb 3, 2025