Skip to content

Tweak strategies so we don't reject so many examples.#496

Open
dcherian wants to merge 2 commits into
mainfrom
tweak-strategies
Open

Tweak strategies so we don't reject so many examples.#496
dcherian wants to merge 2 commits into
mainfrom
tweak-strategies

Relax floating-point tolerances in property tests

0eed3bd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar