search

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
232 stars 95 forks source link

fix: flaky test #889

Closed digama0 closed 3 weeks ago

digama0 commented 1 month ago

This test is timing-sensitive, and has spuriously failed before. Increase the timings slightly to make it less easy to race.