Skip to content

Better performance for biased arbitraries (=default)

Compare
Choose a tag to compare
@dubzzz dubzzz released this 11 Oct 22:28

Fixes

  • (PR#107) Fix: Performance issue when using biased arbitraries
  • (743d7619) Fix: Bump to the latest version of pure-rand